Docker CI

Coq 8.20, rm infra.v, minor fixes #153

Sign in to view logs

Triggered via pull request February 21, 2025 11:18

synchronize #38

fix_20250219

Status Failure

Total duration 5m 25s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build