CI (Coq, docker, dev)

Fix DCE/Subst01 to work under lambdas #356

Annotations

8 errors and 3 warnings

Canceling since a higher priority waiting request for 'CI (Coq, docker, dev)-master-cache-subst01' exists

The operation was canceled.

Makefile.coq:848: src/Coqprime/Tactic/Tactic.v

Makefile.coq.noex:848: /github/workspace/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v

Makefile.coq.noex:417: all

Makefile:68: noex

Makefile:87: bedrock2_noex

ENOENT: no such file or directory, stat '/home/runner/work/fiat-crypto/fiat-crypto/src/ExtractionOCaml/bedrock2_fiat_crypto.tmp.ml'

Runner GitHub Actions 10 did not respond to a cancelation request with 00:05:00.

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]

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]

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix DCE/Subst01 to work under lambdas #356

docker-master

Fix DCE/Subst01 to work under lambdas #356

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...