Skip to content
CI

Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2 #1683

Sign in to view logs

Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2

Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2 #1683

Triggered via pull request January 31, 2025 11:04
@MSoegtropIMCMSoegtropIMC
opened #3326
MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
Status Success
Total duration 1m 35s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.73 MB