2024-03-19 - 2025-03-19

Overview

6 Active Pull Requests
0 Active Issues
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 2024-08-11 18:37:55 +00:00

Merged #6 build: try to eliminate a step 2024-06-17 21:14:26 +00:00

Merged #5 build: use noble 2024-06-04 20:05:38 +00:00

Merged #4 maint: attempt to link zone with leaderboards 2024-05-14 20:37:26 +00:00

Merged #3 fix: bypass leaderboard 2024-04-28 10:29:17 +00:00

Merged #2 build: add CI (using Docker) 2024-03-26 18:18:35 +00:00