adapt for coq/coq#17022 (#96) #509

Sign in to view logs

Triggered via push April 1, 2023 16:44

JasonGross

v0.0.8

Status Success

Total duration 14m 29s

Artifacts –

coq.yml

on: push

Matrix: build