Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Use make and don't use a container
The make file is how we compile this stuff locally. So the CI should do the same. Now, if the make file is broken the CI fails :) Also containers are cringe. Use ubuntus package manager instead. This reduces the build time with ~1 minute.
- Loading branch information