2024-03-19 - 2025-03-19
Overview
Excluding merges,
1 author
has pushed
26 commits
to main and
26 commits
to all branches.
On main,
310 files
have changed
and there have been
36349 additions
and
25 deletions.
6 Pull requests merged by 1 user
Merged
#7 chore: bump OAT
Merged
#6 build: try to eliminate a step
Merged
#5 build: use noble
Merged
#4 maint: attempt to link zone with leaderboards
Merged
#3 fix: bypass leaderboard
Merged
#2 build: add CI (using Docker)