Skip to content
CI

add coq-primitive and rocq-primitive for 8.18, 8.20, 9.0 #2447

Sign in to view logs

add coq-primitive and rocq-primitive for 8.18, 8.20, 9.0

add coq-primitive and rocq-primitive for 8.18, 8.20, 9.0 #2447

Triggered via pull request January 26, 2026 12:58
@palmskogpalmskog
opened #3614
palmskog:add-primitive
Status Success
Total duration 1m 10s
Artifacts 1

ci.yml

on: pull_request
build
1m 6s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.92 MB
sha256:c52f3880e2608c346c35a6b798c0966f82851229ea487778e58ed584f76c6278