Skip to content
Docker CI

Adapt to coq/coq#17836 (case relevance outside case info) #4

Sign in to view logs

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

Adapt to coq/coq#17836 (case relevance outside case info) #4

Triggered via pull request November 9, 2023 15:22
@SkySkimmerSkySkimmer
opened #170
SkySkimmer:ci-relevance
Status Failure
Total duration 1m 49s
Artifacts –

docker-action.yml

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