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

Passed
Pull Request — master (#1029)
by Dan
03:59
created

Changes

1 new patch (Spacing) is available.
1 added class/operation
Arrow A random_alphabetic_string() added
5.45
▶   ± 0
Head
Dan Hemberger  
Merge pull request #1029 from hemberger/session-types
4 more commits
Base
Dan Hemberger  
SmrSession: remove references in for loops