Skip to content
Docker CI

Adapt to coq/coq#18280 (case relevance outside case info) #93

Sign in to view logs

Adapt to coq/coq#18280 (case relevance outside case info)

Adapt to coq/coq#18280 (case relevance outside case info) #93

Triggered via pull request November 9, 2023 15:46
@SkySkimmerSkySkimmer
opened #118
SkySkimmer:ci-relevance
Status Failure
Total duration 2m 2s
Artifacts –

docker-action.yml

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