Docker CI

Adapt to Coq 8.19 #95

Sign in to view logs

Triggered via push December 19, 2023 09:39

proux01

v8.19

Status Failure

Total duration 21s

Artifacts –

docker-action.yml

on: push

Matrix: build