migrate to independent task runner #31
Description
we should move away from the github lock-in by using a portable task runner. this would also allow the commands to be run locally.
desired features:
- scriptable
- run tasks in parallel with dependencies
- display summary table
- fail fast / fail slow
- record logs separately for each task and upload them
at the moment, options look like https://github.com/Nukesor/pueue or https://taskfile.dev/ (maybe no summary). also https://www.ocurrent.org/ and https://pydoit.org/.
other: https://github.com/justanhduc/task-spooler, https://github.com/leahneukirchen/nq
nix-specific ci: https://hercules-ci.com/, https://garnix.io/
i think makefile + wrapper script is the way to go. there's nothing which can match its dynamically generated dependencies and targets.