Skip to content
Docker CI

port to rocq 9 #174

Sign in to view logs

port to rocq 9

port to rocq 9 #174

Triggered via pull request February 6, 2025 07:15
@damien-pousdamien-pous
synchronize #153
damien-pous:master
Status Failure
Total duration 14s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in