Skip to content
Run BNFC dependent tests

Run BNFC dependent tests #13

Sign in to view logs

Run BNFC dependent tests

Run BNFC dependent tests #13

Triggered via schedule February 23, 2026 03:39
@RaghavRoy145RaghavRoy145
⁠ 6fd94ec
master
Status Success
Total duration 6m 29s
Artifacts –

menhir2bnfc.yml

on: schedule
Build and run menhir2bnfc
6m 24s
Build and run menhir2bnfc
Fit to window
Zoom out
Zoom in