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

Triggered via pull request May 7, 2025 19:52

ajewellamz

synchronize #1872

ajewell/bump-mpl2

Status Success

Total duration 1m 47s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:59988e23a0193fd29eb50dd3eb1641de92b737ef297eb63b3d37f3087610f7a2`