CI (Coq)

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

Sign in to view logs

Triggered via push November 13, 2023 18:21

JasonGross

master

Status Success

Total duration 14m 12s

Artifacts –

coq.yml

on: push

Matrix: build