Skip to content
CI

coq-coqprime: add upper bound < 8.17 for versions 1.1.1 and earlier #2441

Sign in to view logs

coq-coqprime: add upper bound < 8.17 for versions 1.1.1 and earlier

coq-coqprime: add upper bound < 8.17 for versions 1.1.1 and earlier #2441

Triggered via pull request January 24, 2026 21:35
@JasonGrossJasonGross
opened #3612
coqprime-upperbound
Status Success
Total duration 1m 17s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.91 MB
sha256:a4d3fe388711b33cf81c980787bbad40200aaef3695ea3e0beca6953705f87bc