Docker CI

Adapt to coq/coq#20190 (Envars.ocamlfind moved) #44

Sign in to view logs

Triggered via pull request February 5, 2025 15:17

SkySkimmer

opened #26

rocq-queries

Status Failure

Total duration 17s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build