Adapt to coq/coq#18280 (case relevance outside case info) #27
Triggered via pull request
November 10, 2023 13:47
SkySkimmer
Status
Success
Total duration
1h 49m 8s
Artifacts
–
coq-alpine.yml
on: pull_request
Matrix: build
alpine-check-all
0s