Add optimizable bulk operations to Actions, native and external SetReaders · dafny-lang/dafny@1233be2

Triggered via pull request June 23, 2025 20:18

robin-aws

synchronize #6274

more-streaming-libs

Status Success

Total duration 5m 43s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:94f887aac0714ebb05cb6c89e2dff39ee3e439a9c37b62f18e00da7f9ba1fba9`