Docker CI

update README.md #52

Sign in to view logs

Triggered via push February 4, 2025 12:33

fblanqui

main

Status Failure

Total duration 10m 12s

Artifacts –

main.yml

on: push

Matrix: build

Annotations

3 warnings

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

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

build (coqorg/coq:dev): With_N.v#L13

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

build (coqorg/coq:dev): With_N.v#L32

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