Skip to content

Allow revealing using a static receiver #18267

Allow revealing using a static receiver

Allow revealing using a static receiver #18267

Triggered via pull request September 10, 2024 16:02
Status Success
Total duration 2m 47s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
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.46 MB
sha256:bb15b43ea0619e049956d466e72fdfb77de30091b039073f6d8d3be9162185b9