Skip to content
Run BNFC dependent tests

Run BNFC dependent tests #38

Sign in to view logs

Run BNFC dependent tests

Run BNFC dependent tests #38

Triggered via schedule December 22, 2025 02:56
@ShaleXIONGShaleXIONG
⁠ d802ca7
master
Status Success
Total duration 8m 20s
Artifacts –

menhir2bnfc.yml

on: schedule
Build and run menhir2bnfc
8m 17s
Build and run menhir2bnfc
Fit to window
Zoom out
Zoom in