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

Triggered via pull request June 19, 2025 20:57

robin-aws

synchronize #6274

more-streaming-libs

Status Success

Total duration 2m 54s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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