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

Triggered via pull request June 23, 2025 20:17

robin-aws

synchronize #6274

more-streaming-libs

Status Cancelled

Total duration 2m 59s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

1 error

Canceling since a higher priority waiting request for Build DafnyRef.pdf-refs/pull/6274/merge exists

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:c992954ac8d35b43a4d60f38003b6f4fa4b0b6bf56a5fc96dad97c54a4754583`