Skip to content

Branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
build-py-dev-docker-arm
LadnerJonas Dec 23, 2025
tpde-arm
LadnerJonas Dec 23, 2025
include-frontend-compilation-time
jungmair Dec 10, 2025
benchmarking
jungmair Dec 3, 2025
combine-db-and-arrow
jungmair Dec 2, 2025
use-property
jungmair Dec 1, 2025
fix-transitive-equalities
jungmair Nov 18, 2025
buffer-reduce-growth-rate
jungmair Nov 18, 2025
disable-infer-notnull
jungmair Nov 18, 2025
eliminate-duplicate-funcs
jungmair Nov 17, 2025
introduce-subop-macro
jungmair Nov 7, 2025
better-combine-tuple
jungmair Nov 6, 2025