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 Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  2 new issues, 1 fixed issue found. 2 suggested patches.
03:31
created
Use Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  No notable changes.
02:54
created
Use Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  2 new issues, 1 fixed issue found. 2 suggested patches.
03:24
created
Use Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  3 new issues, 1 fixed issue found. 2 suggested patches.
02:55
created
Merge pull request #575 from sebastian-meyer/oai-harvester

master . e8d8b4...e25fb8 . push triggered

  1 new issue, 3 fixed issues found.
32s
created
Use Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  3 new issues, 1 fixed issue found. 2 suggested patches.
02:34
created
Use Solr OCR Highlighting Plugin in Search in Document Plugin

master . #587 . pull request triggered

  3 new issues, 1 fixed issue found. 2 suggested patches.
02:34
created
Add CLI command for OAI harvesting

master . #575 . pull request triggered

  1 new issue, 3 fixed issues found.
03:17
created
20s
created
Add CLI command for OAI harvesting

master . #575 . pull request triggered

  1 new issue, 3 fixed issues found.
04:03
created
Add CLI command for OAI harvesting

master . #575 . pull request triggered

  2 new issues, 1 fixed issue found.
02:32
created
Adjust SearchInDocument tool

master . #630 . pull request triggered

  No notable changes.
09:54
created
Adjust SearchInDocument tool

master . #630 . pull request triggered

  No notable changes.
03:24
created
19s
created
Fix error prone issues pointed out by Codacy in JS files

master . #635 . pull request triggered

  No notable changes.
03:08
created
Add CLI command for OAI harvesting

master . #575 . pull request triggered

  2 new issues, 1 fixed issue found.
03:12
created
Adjust SearchInDocument tool

master . #630 . pull request triggered

  No notable changes.
05:21
created
Fix error prone issues pointed out by Codacy in JS files

master . #635 . pull request triggered

  No notable changes.
03:19
created
Add CLI command for OAI harvesting

master . #575 . pull request triggered

  No notable changes.
02:37
created
Adjust SearchInDocument tool

master . #630 . pull request triggered

  No notable changes.
02:32
created