Arthur Meyre a779827f18 chore: do not use the pr build status for notification ...

- this gives wrong values for cancelled builds on push to main e.g.

2022-01-06 15:31:42 +01:00

..

continuous-integration.yaml

chore: do not use the pr build status for notification

2022-01-06 15:31:42 +01:00

daily-benchmarks.yaml

refactor: split benchmarks into ml benchmarks and concrete benchmarks

2022-01-05 17:49:10 +01:00

package-watcher.yaml

chore: rename package

2022-01-05 14:12:23 +01:00