Skip to content
docker CI

[CI] Add Coq 9.0+rc1 #1353

Sign in to view logs

[CI] Add Coq 9.0+rc1

[CI] Add Coq 9.0+rc1 #1353

Triggered via pull request January 27, 2025 12:16
@proux01proux01
opened #507
proux01:ci-coq9
Status Cancelled
Total duration 1m 5s
Artifacts –

main.yml

on: pull_request
Matrix: opam
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

6 errors
opam (8.19)
The run was canceled by @proux01.
opam (8.19)
The operation was canceled.
opam (8.18)
The run was canceled by @proux01.
opam (8.18)
The operation was canceled.
opam (8.20)
The run was canceled by @proux01.
opam (8.20)
The operation was canceled.