Skip to content

Merge fix for variable suggestions inside automata labels (#12) #33

Merge fix for variable suggestions inside automata labels (#12)

Merge fix for variable suggestions inside automata labels (#12) #33

Triggered via push December 15, 2023 08:03
Status Success
Total duration 1m 41s
Artifacts

build-test.yml

on: push
Fit to window
Zoom out
Zoom in