Scrutinizer GitHub App not installed

We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.

Install GitHub App

Completed
Push — master ( 84343c...4da353 )
by Dan
21s queued 17s
created

Changes

1 added class/operation
Arrow A Session::hasCurrentVar() added
A B Session::fetchVarInfo() got worse
B A Session::setCurrentVar() improved
5.5
▶   ± 0
Head
Dan Hemberger  
Merge pull request #1045 from hemberger/session-hardening
5 more commits
Base
Dan Hemberger  
Merge pull request #1044 from hemberger/refactor-fixes