Skip to content
Run BNFC dependent tests

Run BNFC dependent tests #44

Sign in to view logs

Run BNFC dependent tests

Run BNFC dependent tests #44

Triggered via schedule February 2, 2026 03:36
@ShaleXIONGShaleXIONG
⁠ 5b9b58c
master
Status Success
Total duration 8m 1s
Artifacts –

menhir2bnfc.yml

on: schedule
Build and run menhir2bnfc
7m 57s
Build and run menhir2bnfc
Fit to window
Zoom out
Zoom in