Adapt to https://github.com/coq/coq/pull/19530 #733

Sign in to view logs

Re-run triggered September 19, 2024 19:06

JasonGross

#159

proux01:stdlib_repo

Status Success

Total duration 2h 31m 3s

Artifacts –

coq.yml

on: pull_request

Matrix: build