Skip to content

Branches

Default

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
rv-jenkins Feb 3, 2026

Active branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
develop
automergerpr-permission-manager[bot] Feb 3, 2026
rv-jenkins Feb 1, 2026
gh-pages
rv-jenkins Jan 30, 2026
update-cachix-in-ci
juliankuners Dec 15, 2025
HOTFIX-pyk-equation-rendering
jberthold Nov 17, 2025