Docker CI

add missing documentation #13

Sign in to view logs

Triggered via push October 15, 2023 18:27

palmskog

master

Status Success

Total duration 3m 37s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-action.yml

on: push

Matrix: build

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: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

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.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.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: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