chore(dafny): reduce use of BigInteger · aws/aws-database-encryption-sdk-dynamodb@e746d6a

Triggered via pull request May 7, 2025 19:23

ajewellamz

synchronize #1872

ajewell/bump-mpl2

Status Success

Total duration 1m 52s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:98761c4c235458b78b1ccee4b551db5bae96e8202ef69f0b20b2fde236b60c0e`