Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Chore] Temporarily make benchs not buildable
Problem: CI refuses to build universum with GHC-9.10 because of `gauge`. It turned out to be a deprecated package. Solution: as temporary measure we disable building benchmarks completely. However, we should migrate to another library later. An issue is created for it.
- Loading branch information