Coq

Adapt to https://github.com/coq/coq/pull/19149 #1356

Sign in to view logs

Triggered via pull request June 10, 2024 06:32

proux01

opened #424

proux01:coq_19149

Status Success

Total duration 1h 20m 36s

Artifacts –

coq.yml

on: pull_request

Matrix: build