Skip to content
Snippets Groups Projects

proofloc.py: "Next Obligation" also starts a proof

Passed
Björn Brandenburg created pipeline for commit 8fa7605a
, finished
1 related merge request: !14 Update
branch
9 jobs 8 minutes 40 seconds, queued for 1 seconds