migrate to github actions #22
pull_request.yml
on: pull_request
Soundness
/
API breakage check
1m 24s
Soundness
/
Documentation check
46s
Soundness
/
Unacceptable language check
4s
Soundness
/
License headers check
5s
Soundness
/
Broken symlinks check
3s
Soundness
/
Format check
38s
Soundness
/
Shell check
36s
Soundness
/
YAML lint check
3s
Soundness
/
Python lint check
6s
Matrix: Unit tests / linux-build
Matrix: Unit tests / windows-build
Annotations
3 errors
Soundness / Documentation check
Process completed with exit code 1.
|
Soundness / API breakage check
Canceling since a higher priority waiting request for 'PR-refs/pull/112/merge-soundness' exists
|
Soundness / API breakage check
The operation was canceled.
|