Docker CI

Dunify #11

Sign in to view logs

Triggered via push October 9, 2024 03:40

liyishuai

master

Status Success

Total duration 5m 33s

Artifacts –

docker-action.yml

on: push

Matrix: build

Annotations

3 warnings

build (coqorg/coq:dev): theories/Parser.v#L1

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): theories/Number.v#L1

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): theories/Number.v#L5

"From Coq" has been replaced by "From Stdlib".