Skip to content

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

Add optimizable bulk operations to Actions, native and external SetReaders

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

Triggered via pull request June 19, 2025 23:16
Status Success
Total duration 2m 47s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
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:ca80aebc14cb897fb3b2b25b5b6d86e90e1cd06efa07691cfbf49c1b67042124