Simpler temp file log name defaults #1690
Annotations
10 errors and 10 warnings
|
Run coq-community/docker-coq-action@v1
The command has not failed!
|
|
Run coq-community/docker-coq-action@v1
The command has not failed!
|
|
Run coq-community/docker-coq-action@v1
The command has not failed!
|
|
Run coq-community/docker-coq-action@v1
Unable to unify "Type" with "Prop".
|
|
Run coq-community/docker-coq-action@v1
The reference A was not found in the current environment.
|
|
Run coq-community/docker-coq-action@v1
The reference A was not found in the current environment.
|
|
Run coq-community/docker-coq-action@v1
The reference A was not found in the current environment.
|
|
Run coq-community/docker-coq-action@v1
The command has not failed!
|
|
Run coq-community/docker-coq-action@v1
The reference X was not found in the current environment.
|
|
Run coq-community/docker-coq-action@v1
The reference X was not found in the current environment.
|
|
Run coq-community/docker-coq-action@v1
There is no option Nested Proofs Allowed.
|
|
Run coq-community/docker-coq-action@v1
Nested proofs are deprecated and will stop working in a future Coq
|
|
Run coq-community/docker-coq-action@v1
There is no option Nested Proofs Allowed.
|
|
Run coq-community/docker-coq-action@v1
Nested proofs are deprecated and will stop working in a future Coq
|
|
Run coq-community/docker-coq-action@v1
There is no option Nested Proofs Allowed.
|
|
Run coq-community/docker-coq-action@v1
Nested proofs are deprecated and will stop working in a future Coq
|
|
Run coq-community/docker-coq-action@v1
Let definition foo_obligation_1 declared as an axiom.
|
|
Run coq-community/docker-coq-action@v1
Let definition foo_obligation_1 declared as an axiom.
|
|
Run coq-community/docker-coq-action@v1
Let definition foo_obligation_1 declared as an axiom.
|
|
Run coq-community/docker-coq-action@v1
Require inside a module is deprecated and strongly discouraged. You
|
The logs for this run have expired and are no longer available.
Loading