Commit graph

2 commits

Author SHA1 Message Date
Rahix 4d7bc0742e ci: Don't run manager on "issue unlabeled" 2025-05-22 17:11:18 +02:00
Rahix 77abf68e3c ci: Add CI workflows
The push.yml workflow builds the manager and then places it in the $HOME
of the runner.  The issue.ym then uses the cached tool binary to update
the techtree information whenever any issue is changed.  This approach
of course only works as long as only one runner is connected to this
repository.

In the long run, this approach shall be replaced by a nix build of the
techtree-manager which is then cached by the OS instead of manually.
2025-05-22 09:49:33 +02:00