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

Triggered via pull request June 19, 2025 21:20

robin-aws

synchronize #6274

more-streaming-libs

Status Failure

Total duration 4m 0s

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:cabca7c39e5de4970126d9099cdc4dd1406c4840706c6241e1177d4b1a24e701`