Merge remote-tracking branch 'origin/master' into development

This commit is contained in:
anhefti 2021-04-12 18:41:38 +02:00
commit 7ec5817be8
2 changed files with 3 additions and 8 deletions

View file

@ -1,8 +0,0 @@
language: java
jdk:
- openjdk8
sudo: false
install: true
script: mvn clean install -e -P let_reporting
after_success:
- bash <(curl -s https://codecov.io/bash)

View file

@ -8,5 +8,8 @@ coverage:
threshold: 5%
patch: off
github_checks:
annotations: false
fixes:
-"::seb-server/"