Coq 8.20.0 is supported #31

Sign in to view logs

Triggered via push September 11, 2024 08:30

xavierleroy

master

Status Success

Total duration 5m 46s

Artifacts –

oldest.yml

on: push

Matrix: oldest