chore(CI): Partially fix nightly build - #785

Merged

robin-aws merged 10 commits into

robin-aws/fix-nightly-build-2024-10-17

Jun 11, 2025

Commits on Oct 17, 2024

Install smithy-dafny dependencies before codegen
robin-aws
committed
50a4f23
Missing —recursive when initing smithy-dafny submodule
robin-aws
committed
8925f4b

Commits on Oct 18, 2024

install Java 17 for polymorph_codegen action
alex-chew
authored
892b4d9

Commits on Jun 10, 2025

More dependencies
robin-aws
committed
55be207
Merge branch 'mainline' of github.com:aws/aws-encryption-sdk-dafny into robin-aws/fix-nightly-build-2024-10-17
robin-aws
committed
7e9bb91
No more smithy-dafny submodule
robin-aws
committed
1c61f84
Format
robin-aws
committed
a9eda76
Fix path
robin-aws
committed
df53d2a
Fix path
robin-aws
committed
1bfe41c
m
robin-aws
committed
f71537e