Skip to content
Workflow for push on master branch of Trakt

adapt to elpi 2.0 #7

Sign in to view logs

adapt to elpi 2.0

adapt to elpi 2.0 #7

Triggered via pull request November 28, 2024 16:06
@garesgares
opened #15
gares:elpi-2.0
Status Cancelled
Total duration 3m 39s
Artifacts –

master.yml

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

Annotations

4 errors and 3 warnings
master (8.19) / from-sources
FailFast: cancelling since parallel instance has failed
master (8.19) / from-sources: theories/Database.v#L78
Anomaly "wtf" Please report at http://coq.inria.fr/bugs/.
master (8.18) / from-sources
FailFast: cancelling since parallel instance has failed
master (8.18) / from-sources
The operation was canceled.
master (8.17) / from-sources
Failed to remove 'http.https://github.com/.extraheader' from the git config
master (8.19) / from-sources
Failed to remove 'http.https://github.com/.extraheader' from the git config
master (8.18) / from-sources
Failed to remove 'http.https://github.com/.extraheader' from the git config