PR CI

chore: Rename AtomicPrimitives Dafny module name #197

Job	Run time
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, ubuntu-latest)	3m 1s
pr-ci-net / testDotNet (windows-latest)	6m 58s
pr-ci-verification / verification (AwsEncryptionSDK, macos-12)	12m 56s
pr-ci-net / testDotNet (ubuntu-latest)	3m 17s
pr-test-vectors / decrypt_python_vectors (windows-latest)	6m 13s
pr-ci-net / testDotNet (macos-12)	3m 58s
pr-test-vectors / decrypt_python_vectors (ubuntu-latest)	5m 28s
pr-test-vectors / generate_vectors (ubuntu-latest)	2m 38s
pr-test-vectors / decrypt_python_vectors (macos-12)	7m 51s
pr-test-vectors / generate_vectors (macos-12)	3m 48s
pr-test-vectors / decrypt_net_vectors_with_js (ubuntu-latest)	57s
pr-test-vectors / decrypt_net_vectors_with_js (macos-12)	1m 24s
	58m 29s

Provide feedback