Skip to content
Docker CI

port to rocq 9 #172

Sign in to view logs

port to rocq 9

port to rocq 9 #172

Triggered via pull request February 5, 2025 17:53
@damien-pousdamien-pous
opened #153
damien-pous:master
Status Failure
Total duration 1m 48s
Artifacts –

docker-action.yml

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