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

GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Inspections

Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found.
03:20
created
Merge pull request #677 from albig/fix-670

master . d513ec...73c32e . push triggered

  No notable changes.
34s
created
Include hidden collection records.

master . #677 . pull request triggered

  No notable changes.
05:35
created
Merge pull request #676 from albig/fix-675

master . 06e0d7...d513ec . push triggered

  No notable changes.
02:47
created
Merge pull request #678 from albig/fix-deprecation

master . cd5414...06e0d7 . push triggered

  No notable changes.
42s
created
Fix wrong table in where clause

master . #676 . pull request triggered

  No notable changes.
02:57
created
Move load of XML to own method

master . #647 . pull request triggered

  No notable changes.
04:59
created
Extend Document class

master . #650 . pull request triggered

  54 new issues, 8 fixed issues found.
03:43
created
Fix logged deprecation and exceptions.

master . #678 . pull request triggered

  No notable changes.
02:32
created
Include hidden collection records.

master . #677 . pull request triggered

  No notable changes.
02:33
created
Fix wrong table in where clause

master . #676 . pull request triggered

  No notable changes.
02:57
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found.
08:19
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found.
05:47
created
Fix HTML generation for full text

master . #649 . pull request triggered

  No notable changes.
07:41
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  Inspection failed.
14:47
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found.
02:57
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found.
07:15
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  Inspection was canceled.
01:45
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 fixed issue found. 1 suggested patches.
02:53
created
Use ocr-highlighting plugin with MiniOCR

master . #673 . pull request triggered

  1 new issue, 1 fixed issue found. 4 suggested patches.
03:18
created