Skip to content

Commit

Permalink
disable github checks reporter
Browse files Browse the repository at this point in the history
  • Loading branch information
spalger committed Apr 23, 2019
1 parent 180867c commit 1623d46
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dev/ci_setup/setup.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,7 @@ fi
###
### github-checks-reporter kill switch. Remove to disable
###
export CHECKS_REPORTER_ACTIVE=true
export CHECKS_REPORTER_ACTIVE=false

###
### Implements github-checks-reporter kill switch when scripts are called from the command line
Expand Down

0 comments on commit 1623d46

Please sign in to comment.