Skip to content

Merge branch '__rultor' #6

Merge branch '__rultor'

Merge branch '__rultor' #6

Triggered via push December 6, 2023 12:59
Status Success
Total duration 1m 59s
Artifacts

ebnf.yml

on: push
Fit to window
Zoom out
Zoom in