Use etc/ci/github-actions-make.sh on alpine #465
JasonGrosscoq-alpine.yml
on: pull_request
Annotations
3 errors and 2 warnings
|
alpine-edge
The job running on runner GitHub Actions 16 has exceeded the maximum execution time of 360 minutes.
|
|
alpine-edge
The operation was canceled.
|
|
alpine-check-all
Process completed with exit code 1.
|
|
alpine-edge
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/RecordSetters.v", line 410, characters 38-71:
Warning: This expression should have type unit but has type
bool. [not-unit,ltac2,default]
|
|
alpine-edge
Could not find a terminator for warning:
File "./src/coqutil/Datatypes/RecordSettersUsingExistingGetters.v", line 361, characters 38-71:
Warning: This expression should have type unit but has type
bool. [not-unit,ltac2,default]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-edge
Expired
|
5.41 KB |
|
|
|
ExtractionOCaml-edge
Expired
|
3.55 KB |
|