Skip to content
Docker CI

reorganize files under standard theories directory #14

Sign in to view logs

reorganize files under standard theories directory

reorganize files under standard theories directory #14

Triggered via pull request October 22, 2023 09:33
@palmskogpalmskog
opened #22
theories-dune
Status Success
Total duration 3m 18s
Artifacts –

docker-action.yml

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

Annotations

12 warnings
build (coqorg/coq:8.15): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.15): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:dev): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.17): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.14): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.18): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): runtime/coq/ExtractPositiveSerializer.v#L16
The extraction is currently set to bypass opacity, the following
build (coqorg/coq:8.16): runtime/coq/ExtractTreeSerializer.v#L17
The extraction is currently set to bypass opacity, the following