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

Triggered via pull request May 7, 2025 22:03

ajewellamz

synchronize #1872

ajewell/bump-mpl2

Status Success

Total duration 1m 44s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:c14328cc5ba90a6aa671e30f98ac490071daaa7353bc5715b50e151bb39ece63`