Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: build with --disable-dependency-tracking
We only build once in CI, so dependency tracking isn't needed. This saves 3-4 minutes in CI.
- Loading branch information