Skip to content
Snippets Groups Projects

chore: port 2024 patch

Merged Joshua Balthasar Kobschätzki requested to merge cobalt.rocks/isabelle.2024 into main

Successor to !3 (closed), manually rebased on main.

Merge request reports

Pipeline #297722 passed

Pipeline passed for 7b9d0873 on cobalt.rocks/isabelle.2024

Merged by Joshua Balthasar KobschätzkiJoshua Balthasar Kobschätzki 2 months ago (Dec 16, 2024 2:32pm UTC)

Loading

Pipeline #297939 failed

Pipeline failed for fcfee756 on main

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading