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

Sign in to view logs

Triggered via pull request September 17, 2024 10:02

proux01

opened #117

proux01:stdlib_repo

Status Success

Total duration 1h 0m 56s

Artifacts –

ci.yml

on: pull_request

Matrix: build-vos

Matrix: build