Skip to content

Refactor+ci+tests

Refactor+ci+tests #5

Triggered via pull request October 19, 2023 12:22
Status Failure
Total duration 32s
Artifacts

coqpilot.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build (windows-latest, 5.1)
No OCaml base compiler packages matched the version 5.1 in the opam-repository.
build (ubuntu-latest, 5.1)
The job was canceled because "windows-latest_5_1" failed.
build (ubuntu-latest, 5.1)
The operation was canceled.
build (macos-latest, 5.1)
The job was canceled because "windows-latest_5_1" failed.
build (macos-latest, 5.1)
The operation was canceled.