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

Triggered via pull request June 19, 2025 21:52

robin-aws

synchronize #6274

more-streaming-libs

Status Failure

Total duration 2m 44s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:53ad7462aae0141df53d088145b13933f69aee1fbf00a3432a00018aef906138`