Successor to !3 (closed), manually rebased on main.
Pipeline #297722 passed
Pipeline passed for 7b9d0873 on cobalt.rocks/isabelle.2024 2 months ago
Pipeline #297939 failed
Pipeline failed for fcfee756 on main 2 months ago