Skip to content
Docker CI

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

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) #8

Triggered via push November 13, 2023 19:36
@lukaszczlukaszcz
pushed 075ac9b
master
Status Success
Total duration 3m 14s
Artifacts –

docker-action.yml

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