Run BNFC dependent tests

Run BNFC dependent tests #7

Sign in to view logs

Triggered via schedule January 12, 2026 03:05

master

Status Success

Total duration 8m 16s

Artifacts –

menhir2bnfc.yml

on: schedule

Build and run menhir2bnfc