Skip to content

Commit

Permalink
no baumpfleger. Comment only on benchmark probs (#699)
Browse files Browse the repository at this point in the history
  • Loading branch information
danwos authored Sep 14, 2022
1 parent 809724d commit b543e22
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 14 deletions.
13 changes: 0 additions & 13 deletions .github/baumpfleger.yml

This file was deleted.

2 changes: 1 addition & 1 deletion .github/workflows/benchmark.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ jobs:
github-token: ${{ secrets.GITHUB_TOKEN }}
alert-threshold: '150%'
comment-on-alert: true
comment-always: true
comment-always: false
auto-push: true
gh-pages-branch: "benchmarks"
benchmark-data-dir-path: "docs/bench"
Expand Down
3 changes: 3 additions & 0 deletions docs/contributing.rst
Original file line number Diff line number Diff line change
Expand Up @@ -122,6 +122,9 @@ And they can be locally executed via ``make benchmark`.
The results for each PR/commit get added to a chart, which is available under
http://useblocks.com/sphinx-needs/bench/index.html.
The benchmark data is stored on the `benchmarks` branch, which is also used by github-pages as
source.
Running Test Matrix
-------------------
Expand Down

0 comments on commit b543e22

Please sign in to comment.