Skip to content
continuous integration

fix nonterminal simps #137651

Sign in to view logs

fix nonterminal simps

fix nonterminal simps #137651

Triggered via push October 31, 2024 19:21
@bjoernkjoshanssenbjoernkjoshanssen
pushed d5c1b08
bjoernkjoshanssen_OnePointHomeomorph
Status Success
Total duration 7m 40s
Artifacts –

build.yml

on: push
Lint style
1m 5s
Lint style
Build
7m 19s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in