Skip to content

Merge branch '__rultor' #408

Merge branch '__rultor'

Merge branch '__rultor' #408

Triggered via push January 8, 2024 22:24
Status Success
Total duration 2m 46s
Artifacts

ebnf.yml

on: push
Fit to window
Zoom out
Zoom in