Adapt to https://github.com/coq/coq/pull/19149 (#424) #1357

Sign in to view logs

Triggered via push June 10, 2024 15:03

master

Status Success

Total duration 1h 25m 50s

Artifacts –

coq.yml

on: push

Matrix: build