Skip to content
CI

Package rocq-pil.1.0.0 #1719

Sign in to view logs

Package rocq-pil.1.0.0

Package rocq-pil.1.0.0 #1719

Triggered via pull request February 14, 2025 16:37
@hfereehferee
opened #3341
hferee:opam-publish-rocq-pil.1.0.0
Status Success
Total duration 4m 51s
Artifacts –

ci.yml

on: pull_request
build
4m 38s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Cache not found for keys: v3-setup-ocaml-opam-eee6b1acc96acdc4547d737658a2b82403ef1e5dddc76374c16f9f43a8fbfd1e, v3-setup-ocaml-opam-eee6b1acc96acdc4547d737658a2b82403ef1e5dddc76374c16f9f43a8fbfd1e