Adapt to https://github.com/coq/coq/pull/19530 (#524) #56

Sign in to view logs

Triggered via push October 3, 2024 16:58

xavierleroy

master

Status Success

Total duration 10m 45s

Artifacts –

build.yml

on: push

Matrix: linux