Fix DCE/Subst01 to work under lambdas #356
Triggered via pull request
January 22, 2024 21:45
JasonGross
Status
Cancelled
Total duration
1h 5m 16s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
coq-docker.yml
on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
docker-check-all
0s
Annotations
9 errors and 3 warnings
|
docker-master
Canceling since a higher priority waiting request for 'CI (Coq, docker, dev)-master-cache-subst01' exists
|
|
docker-master
The operation was canceled.
|
|
docker-master
Makefile.coq:848: src/Coqprime/Tactic/Tactic.v
|
|
docker-master
Makefile.coq.noex:848: /github/workspace/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
|
|
docker-master
Makefile.coq.noex:417: all
|
|
docker-master
Makefile:68: noex
|
|
docker-master
Makefile:87: bedrock2_noex
|
|
docker-master
ENOENT: no such file or directory, stat '/home/runner/work/fiat-crypto/fiat-crypto/src/ExtractionOCaml/bedrock2_fiat_crypto.tmp.ml'
|
|
docker-check-all
Process completed with exit code 1.
|
|
docker-master
Runner GitHub Actions 10 did not respond to a cancelation request with 00:05:00.
|
|
docker-master
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]
|
|
docker-master
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]
|