Deukhoofd f70b6dedf5

Run all unit tests on push, not just the primary ones

2025-05-17 18:49:05 +02:00

..

pre-commit

Implements 11 more moves

2025-03-07 11:54:08 +01:00

pre-push

Git pre-commit and pre-push actions

2025-03-02 18:19:52 +01:00

task-runner.json

Run all unit tests on push, not just the primary ones

2025-05-17 18:49:05 +02:00