summaryrefslogtreecommitdiff
path: root/check-ci.sh
AgeCommit message (Expand)Author
2025-07-20Moved tools like check-ci into tools/ and updated the glossaryKyren223
2025-07-05Made check-ci.sh more user friendlyKyren223
2025-07-03Completed check-ci.sh and made ci passKyren223
2025-07-03Added (incomplete) check-ci.sh for locally checking ci beforeKyren223