Consistently use From-Require to enable module relocation #15
Annotations
5 warnings
|
Run coq-community/docker-coq-action@v1:
extraction/vard/coq/ExtractVarDRaft.v#L7
The extraction is currently set to bypass opacity, the following
|
|
Run coq-community/docker-coq-action@v1:
extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L7
The extraction is currently set to bypass opacity, the following
|
|
Run coq-community/docker-coq-action@v1:
extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L10
The extraction is currently set to bypass opacity, the following
|
|
Run coq-community/docker-coq-action@v1:
extraction/vard-log/coq/ExtractVarDRaftLog.v#L10
The extraction is currently set to bypass opacity, the following
|
|
Run coq-community/docker-coq-action@v1:
extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L10
The extraction is currently set to bypass opacity, the following
|
The logs for this run have expired and are no longer available.
Loading