Skip to content
Docker CI

Merge pull request #97 from uwplse/fix-deprec #12

Sign in to view logs

Merge pull request #97 from uwplse/fix-deprec

Merge pull request #97 from uwplse/fix-deprec #12

Triggered via push October 15, 2023 18:06
@palmskogpalmskog
pushed bf28f4a
master
Status Success
Total duration 12m 4s
Artifacts –

docker-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

30 warnings
build (coqorg/coq:8.16): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): extraction/vard/coq/ExtractVarDRaft.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): extraction/vard-debug/coq/ExtractVarDRaftDebug.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): extraction/vard-serialized/coq/ExtractVarDRaftSerialized.v#L23
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): extraction/vard-log/coq/ExtractVarDRaftLog.v#L24
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): extraction/vard-serialized-log/coq/ExtractVarDRaftSerializedLog.v#L24
The extraction is currently set to bypass opacity, the following