PR CI

chore: Rename AtomicPrimitives Dafny module name #221

Job	Run time
pr-ci-verification / verification (AwsEncryptionSDK, macos-12)	15m 0s
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, ubuntu-latest)	2m 55s
pr-ci-net / testDotNet (windows-latest)	7m 16s
pr-test-vectors / decrypt_python_vectors (windows-latest)	7m 48s
pr-ci-net / testDotNet (ubuntu-latest)	4m 43s
pr-test-vectors / decrypt_python_vectors (ubuntu-latest)	7m 5s
pr-test-vectors / generate_vectors (ubuntu-latest)	3m 47s
pr-ci-net / testDotNet (macos-12)	5m 22s
pr-test-vectors / decrypt_python_vectors (macos-12)	7m 47s
pr-test-vectors / generate_vectors (macos-12)	4m 7s
pr-test-vectors / decrypt_net_vectors_with_js (ubuntu-latest)	3m 48s
pr-test-vectors / decrypt_net_vectors_with_js (macos-12)	4m 49s
	1h 14m 27s

Provide feedback