Docker CI

Merge pull request #117 from coq-community/fix-doi #92

Sign in to view logs

Triggered via push November 8, 2023 16:35

proux01

master

Status Success

Total duration 2m 55s

Artifacts –

docker-action.yml

on: push

Matrix: build

Annotations

1 warning

build (coqorg/coq:dev)

Not a truly recursive fixpoint.