Skip to content
CI (Coq, docker, dev)

Adapt to coq/coq#20150 (more aggressive minimization) #10

Sign in to view logs

Adapt to coq/coq#20150 (more aggressive minimization)

Adapt to coq/coq#20150 (more aggressive minimization) #10

Triggered via pull request January 29, 2025 13:38
@SkySkimmerSkySkimmer
opened #126
SkySkimmer:clean-univ-set
Status Failure
Total duration 1m 57s
Artifacts –

coq-docker.yml

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