Docker CI

Adapt w.r.t. coq/coq#20278. #125

Sign in to view logs

Triggered via pull request February 21, 2025 19:00

ppedrot

opened #135

ppedrot:rm-tc-evd-hook

Status Failure

Total duration 18s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build