Opaque block #18316

Triggered via pull request September 16, 2024 14:16

synchronize #5761

Status Success

Total duration 8m 6s

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

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:8ee18e0f34a7296200d5d82dc2d16810f4418f106d4b8c962c132d0f7c174682`