adapt to coq/coq#18563 #701

Sign in to view logs

Triggered via push January 30, 2024 16:13

master

Status Success

Total duration 10m 26s

Artifacts –

coq.yml

on: push

Matrix: build