Add Owicki-Gries annotations - #783
Draft
maul-esel wants to merge 579 commits into
Draft
Ultimate Jenkins CI / Ultimate CI
succeeded
Sep 8, 2026 in 2m 50s
Success
Details
- Declarative: Tool Install (2.9 sec)
- Checkout (1 min 17 sec)
- Check environment (5.8 sec)
- Build and run basic tests (1 min 20 sec)
Loading