Skip to content

Add optimizable bulk operations to Actions, native and external SetReaders #20131

Add optimizable bulk operations to Actions, native and external SetReaders

Add optimizable bulk operations to Actions, native and external SetReaders #20131

Triggered via pull request June 19, 2025 20:37
Status Success
Total duration 2m 56s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
DafnyRef Expired
1.47 MB
sha256:a0835b58721e32f44d3cb3ec9846c724120817e9ecbaf08e66bbb99c95009e24