Not always is a comparing, i.e. judge necessary.
For example, when we just push, without a pull request, there is (probably) nothing really to compare with.
We just want to run the benchmarks, see how we are doing, and maybe push the results in a data repo.
Moreover, when a pull request is merged in origin/master, and judge is triggered it will probably run the same benchmark two times (baseline == target).
If the idea sounds okey, I could make a PR to have in-house support for just running a single benchmark and posting/pushing the results.
Not always is a comparing, i.e.
judgenecessary. For example, when we just push, without a pull request, there is (probably) nothing really to compare with. We just want to run the benchmarks, see how we are doing, and maybe push the results in a data repo.Moreover, when a pull request is merged in origin/master, and
judgeis triggered it will probably run the same benchmark two times (baseline == target).If the idea sounds okey, I could make a PR to have in-house support for just running a single benchmark and posting/pushing the results.
Let me know !