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.

Sign up for GitHub

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

Jump to bottom

chore: Adopt SmithyDafnyMakefile.mk, fix nightly build #638

Merged
merged 33 commits into from
Mar 18, 2024
Merged

chore: Adopt SmithyDafnyMakefile.mk, fix nightly build #638

merged 33 commits into from
Mar 18, 2024

Commits on Mar 6, 2024

  1. Adopt SmithyDafnyMakefile.mk, apply codegen CI

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    ac7d75b View commit details
    Browse the repository at this point in the history

  2. Init submodule, include codegen workflow in relevant CI

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    cc6a9aa View commit details
    Browse the repository at this point in the history

  3. shell: bash

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    1edaf93 View commit details
    Browse the repository at this point in the history

  4. Add project.properties file

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    bb550a6 View commit details
    Browse the repository at this point in the history

  5. Fix library list

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    e9b89df View commit details
    Browse the repository at this point in the history

  6. Another missing submodule init

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    7fb27cc View commit details
    Browse the repository at this point in the history

  7. Fix skipping dependencies

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6928635 View commit details
    Browse the repository at this point in the history

  8. Use step outputs instead

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    5952398 View commit details
    Browse the repository at this point in the history

  9. Correct variable name

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    9230d0d View commit details
    Browse the repository at this point in the history

  10. Prettier path

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    89258ff View commit details
    Browse the repository at this point in the history

  11. regenerate Dafny, Java and C# code

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    9ae8669 View commit details
    Browse the repository at this point in the history

  12. Account for change in client factory method return type

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    c45fda4 View commit details
    Browse the repository at this point in the history

  13. Update MPL when regenerating code for potentially different Dafny ver… 

    …sion
    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    b34b9af View commit details
    Browse the repository at this point in the history

  14. fail-fast: false

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    289c92a View commit details
    Browse the repository at this point in the history

  15. Restore manual edits

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6066d4e View commit details
    Browse the repository at this point in the history

  16. Create patch file

    @robin-aws
    robin-aws committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    1d8df32 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Missing manual edit

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    49ab6ea View commit details
    Browse the repository at this point in the history

  2. Update patch file

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    8b55fd6 View commit details
    Browse the repository at this point in the history

  3. update setup-dafny-action

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    357e4c9 View commit details
    Browse the repository at this point in the history

  4. setup_prettier is annoying

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    94f2799 View commit details
    Browse the repository at this point in the history

  5. Account for MPL client types changing

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    c92d0fe View commit details
    Browse the repository at this point in the history

  6. Doh

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    495ad81 View commit details
    Browse the repository at this point in the history

  7. Using ProjectReference to MPL, update SDK version

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    683976a View commit details
    Browse the repository at this point in the history

  8. Only setup prettier on MPL if we updated it

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    3963774 View commit details
    Browse the repository at this point in the history

  9. Simple verification fix

    @robin-aws
    robin-aws committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    9a82482 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Revert another config change

    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ad373e9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'mainline' of github.com:aws/aws-encryption-sdk-dafny in… 

    …to robin-aws/use-smithy-dafny-makefile-and-fix-nightly-build
    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    d97a967 View commit details
    Browse the repository at this point in the history

  3. missing submodule init in new workflow

    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    b54d598 View commit details
    Browse the repository at this point in the history

  4. Missed the other jobs

    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8ac07a5 View commit details
    Browse the repository at this point in the history

  5. Up verification time limit to 150 (as it was before)

    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    3f27938 View commit details
    Browse the repository at this point in the history

  6. Apply the trusty sledgehammer (will make it a patch if this doesn’t w… 

    …ork for 4.2)
    @robin-aws
    robin-aws committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    26838b3 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'mainline' into robin-aws/use-smithy-dafny-makefile-and-… 

    …fix-nightly-build
    @robin-aws
    robin-aws authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    ad65f3c View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Update .gitmodules 

    Co-authored-by: seebees <[email protected]>
    @robin-aws @seebees
    robin-aws and seebees authored Mar 15, 2024
    Configuration menu
    Copy the full SHA
    3e1b265 View commit details
    Browse the repository at this point in the history