Skip to content
Docker CI

Compile with rocq without coq shim #10

Sign in to view logs

Compile with rocq without coq shim

Compile with rocq without coq shim #10

Triggered via pull request January 13, 2026 09:50
@proux01proux01
opened #17
proux01:rocq
Status Failure
Total duration 1m 58s
Artifacts –

docker-action.yml

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