Skip to content
Docker CI

Adapt to Rocq 9.2 #265

Sign in to view logs

Adapt to Rocq 9.2

Adapt to Rocq 9.2 #265

Triggered via push February 10, 2026 12:48
@proux01proux01
pushed 1df4da0
v9.2
Status Failure
Total duration 49s
Artifacts –

docker-action.yml

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