"oldest" CI test: use the oldest supported Menhir version #18

Sign in to view logs

Triggered via push July 24, 2024 13:41

xavierleroy

master

Status Success

Total duration 9m 11s

Artifacts –

build.yml

on: push

Matrix: linux