Refine settings for improved dumping of automata to files#787
Open
bahnwaerter wants to merge 3 commits into
Open
Refine settings for improved dumping of automata to files#787bahnwaerter wants to merge 3 commits into
bahnwaerter wants to merge 3 commits into
Ultimate Jenkins CI / Ultimate CI
succeeded
Jul 2, 2026 in 5m 0s
Success
Details
- Declarative: Tool Install (2.4 sec)
- Checkout (2 min 11 sec)
- Check environment (4.4 sec)
- Build and run basic tests (2 min 36 sec)
Loading