Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: do not run the benchmark on forks
If done, it would fail anyway because it cannot find the `gh-pages` branch to push the results to.
- Loading branch information