Docker CI

Adapt to rocq-prover/rocq#21175 (pass gref to assumptions traversal) #138

Sign in to view logs

Triggered via pull request October 8, 2025 12:54

SkySkimmer

opened #141

SkySkimmer:ass-lab

Status Failure

Total duration 2m 3s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build