Opaque block #18261

Triggered via pull request September 10, 2024 13:46

opened #5761

Status Success

Total duration 3m 2s

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.46 MB	`sha256:1fe378d409fc7d0f7ed166fdb59a727a4388fa1d381fb6698ba406a161b2a405`