Opaque block #18310

Triggered via pull request September 16, 2024 11:03

synchronize #5761

Status Cancelled

Total duration 3m 10s

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:0353c0c1da11838f90fd5d1d4a8fb8543b0eedf3016aaf30f793d6bda0bf6d1e`