Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Adopt SmithyDafnyMakefile.mk, progress towards fixing nightly build #797

Merged
merged 42 commits into from
Apr 19, 2024
Merged
Changes from 1 commit
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
e7a6e2e
Workflow and makefile changes
robin-aws Mar 7, 2024
bca6327
regenerate Dafny, fix client factory method return types
robin-aws Mar 7, 2024
890dd5c
More client type fixes
robin-aws Mar 7, 2024
f3e651f
Regenerate .net
robin-aws Mar 7, 2024
ae27d80
More client type fixes
robin-aws Mar 7, 2024
8b94d1d
Verification fixes
robin-aws Mar 8, 2024
ce19eca
Another fix
robin-aws Mar 8, 2024
c13f980
Regenerate Java
robin-aws Mar 8, 2024
38f6403
Check codegen of TestVectors too!
robin-aws Mar 8, 2024
2a85637
Manual edit -> patch file
robin-aws Mar 8, 2024
1a47d6d
Fussy patch alignment
robin-aws Mar 8, 2024
26ef683
Wrong mpl path
robin-aws Mar 8, 2024
ebc68c8
Change StructuredEncryption client in Config back to concrete type
robin-aws Mar 8, 2024
7505ffe
Necessary ensures
robin-aws Mar 8, 2024
3544cab
Different method for updating MPL
robin-aws Mar 8, 2024
def5032
Fix library path
robin-aws Mar 8, 2024
609d3c5
Whoops
robin-aws Mar 8, 2024
31168ab
Submodule init
robin-aws Mar 8, 2024
a2ef35c
More client changes
robin-aws Mar 8, 2024
a87c15e
Revert config change
robin-aws Mar 9, 2024
7628de5
Revert another config change
robin-aws Mar 9, 2024
369e31e
One more client cast fix
robin-aws Mar 9, 2024
280cc24
Another client fix, a little help with an expensive assertion
robin-aws Mar 9, 2024
4b3252c
Convert really expensive “test lemma” to test
robin-aws Mar 10, 2024
5f3aa61
Typo
robin-aws Mar 10, 2024
eaa8098
Merge checked-in and smithy-dafny generated properties
robin-aws Mar 21, 2024
8d0d273
Ordering
robin-aws Mar 21, 2024
70dbd8e
Use awk instead
robin-aws Mar 22, 2024
146d26e
Debugging
robin-aws Mar 22, 2024
280d6ad
Update smithy-dafny
robin-aws Mar 22, 2024
59ce0e5
Update smithy-dafny
robin-aws Mar 22, 2024
3deea78
update project.properties in MPL too
robin-aws Mar 25, 2024
89eb30e
Merge branch 'main' of github.com:aws/aws-database-encryption-sdk-dyn…
robin-aws Mar 26, 2024
8f4c453
Regenerate code after merge
robin-aws Mar 26, 2024
6ed4023
Missed merge conflict
robin-aws Mar 26, 2024
1118544
Only regenerate project properties files in nightly build
robin-aws Mar 26, 2024
3eaa6a8
Select DafnyRuntime version dynamically
robin-aws Mar 26, 2024
55514fc
Merge branch 'main' of github.com:aws/aws-database-encryption-sdk-dyn…
robin-aws Apr 17, 2024
c396dfb
Pull latest smithy-dafny, regenerate, undo client changes
robin-aws Apr 18, 2024
3329da4
Typo
robin-aws Apr 18, 2024
bedce38
two more
robin-aws Apr 18, 2024
2eaaa3e
formatting, complete incomplete .NET regeneration
robin-aws Apr 18, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Ordering
robin-aws committed Mar 21, 2024
commit 8d0d273cb0bf309e235022f37c489b90c5d9d73c
18 changes: 9 additions & 9 deletions .github/actions/polymorph_codegen/action.yml
Original file line number Diff line number Diff line change
@@ -57,6 +57,15 @@ inputs:
runs:
using: "composite"
steps:
- name: Update MPL submodule locally if requested
if: inputs.update-and-regenerate-mpl == 'true'
working-directory: submodules/MaterialProviders
shell: bash
run: |
git checkout main
git pull
git submodule update --init --recursive

# Update the project.properties file so that we pick up the right runtimes etc.,
# in cases where inputs.dafny is different from the current value in that file.
- name: Generate smithy-dafny-project.properties file
@@ -95,15 +104,6 @@ runs:
'${{ steps.read_smithy_dafny_property.outputs.dafnyVersion }}'
'${{ steps.read_property.outputs.smithyDafnyJavaConversionVersion }}'

- name: Update MPL submodule locally if requested
if: inputs.update-and-regenerate-mpl == 'true'
working-directory: submodules/MaterialProviders
shell: bash
run: |
git checkout main
git pull
git submodule update --init --recursive

- name: Don't regenerate dependencies unless requested
id: dependencies
shell: bash