Skip to content
menhir

Delete Jane Syntax #15

Sign in to view logs

Delete Jane Syntax

Delete Jane Syntax #15

Triggered via pull request October 22, 2024 14:06
@ncik-robertsncik-roberts
synchronize #3162
no-more-jane-syntax
Status Success
Total duration 44s
Artifacts –

menhir.yml

on: pull_request
Check Menhir version
6s
Check Menhir version
Fit to window
Zoom out
Zoom in