Docker CI

port to rocq 9 #173

Sign in to view logs

Triggered via pull request February 5, 2025 18:21

damien-pous

synchronize #153

damien-pous:master

Status Failure

Total duration 19s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build