Skip to content
CI

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

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 #1688

Triggered via pull request February 1, 2025 13:12
@MSoegtropIMCMSoegtropIMC
synchronize #3326
MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
Status Success
Total duration 2m 13s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.73 MB