Coq 8.20.0 is supported #53

Sign in to view logs

Triggered via push September 11, 2024 08:30

xavierleroy

master

Status Success

Total duration 10m 19s

Artifacts –

build.yml

on: push

Matrix: linux