Oldest

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

Sign in to view logs

Triggered via push October 3, 2024 16:58

xavierleroy

master

Status Success

Total duration 5m 46s

Artifacts –

oldest.yml

on: push

Matrix: oldest