Docker CI

Adapt to rocq-prover/rocq#21097 (Use einstance everywhere) #135

Sign in to view logs

Triggered via pull request October 1, 2025 10:28

yannl35133

opened #139

Yann-Leray:einstance

Status Failure

Total duration 2m 6s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build