Skip to content
Build

Add -allow-unreleased-menhir #65

Sign in to view logs

Add -allow-unreleased-menhir

Add -allow-unreleased-menhir #65

Triggered via pull request October 21, 2024 16:44
@JasonGrossJasonGross
opened #530
JasonGross:allow-unreleased-menhir
Status Success
Total duration 10m 18s
Artifacts –

build.yml

on: pull_request
macos
6m 43s
macos
Matrix: linux
Fit to window
Zoom out
Zoom in