Remove old alpha/beta metacoq packages · mattam82/coq-opam-archive@2fe009e

Triggered via push April 1, 2025 08:23

mattam82

Status Success

Total duration 4m 28s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.74 MB	`sha256:83f37c0237a1b9fa8c0ec9c37c7dff8ea75dc018eb7da6bf7c0bda7e7a3e94a8`