Skip to content

Fix hashes of metacoq releases #1829

Fix hashes of metacoq releases

Fix hashes of metacoq releases #1829

Triggered via pull request April 3, 2025 15:05
Status Success
Total duration 1m 48s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.77 MB
sha256:76c1092fe675b294126dcb8921a63e9e1a07b0df9468520fcd9f09c529db2feb