Skip to content

Commit

Permalink
take latest common
Browse files Browse the repository at this point in the history
  • Loading branch information
@DmitriyMusatkin
DmitriyMusatkin committed Sep 13, 2024
1 parent 06f81a3 commit 3717881
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crt/aws-c-common
Submodule aws-c-common updated 4 files
+2 −2 .github/workflows/proof_ci_resources/config.yaml
+1 −1 cmake/AwsPrebuildDependency.cmake
+7 −1 cmake/AwsSIMD.cmake
+212 −183 verification/cbmc/proofs/Makefile.common

0 comments on commit 3717881

Please sign in to comment.