Extend external CI to support non-github repos #1797
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Waiting for pending jobs
Matrix: Check EasyCrypt External Projects
Waiting for pending jobs
Notification
Annotations
1 error
Invalid workflow file:
.github/workflows/ci.yml#L82
The workflow is not valid. .github/workflows/ci.yml (Line: 82, Col: 5): Unexpected value 'on'
|