Simpler temp file log name defaults #1690
Annotations
10 errors and 9 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
Trying to mask the absolute name "B.B"!
|
|
Run coq-community/docker-coq-action@v1
Trying to mask the absolute name "B.B"!
|
|
Run coq-community/docker-coq-action@v1
Trying to mask the absolute name "B.B"!
|
|
Run coq-community/docker-coq-action@v1
Trying to mask the absolute name "B.B"!
|
|
Run coq-community/docker-coq-action@v1
Use of “Require” inside a module is fragile. It is not recommended
|
|
Run coq-community/docker-coq-action@v1
Use of “Require” inside a module is fragile. It is not recommended
|
|
Run coq-community/docker-coq-action@v1
Use of “Require” inside a module is fragile. It is not recommended
|
|
Run coq-community/docker-coq-action@v1
Use of “Require” inside a module is fragile. It is not recommended
|
|
Run coq-community/docker-coq-action@v1
Use of “Require” inside a module is fragile. It is not recommended
|
The logs for this run have expired and are no longer available.
Loading