Build

Add -ignore-menhir-version #61

Sign in to view logs

Triggered via pull request October 18, 2024 21:29

JasonGross

opened #528

JasonGross:allow-unreleased-menhir

Status Success

Total duration 10m 27s

Artifacts –

build.yml

on: pull_request

Matrix: linux