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

[BUGFIX] Fix missing title of facets groups

master . #820 . pull request triggered

  No notable changes.
09:08
created
Update ext_emconf.php

master . bfdcd2...e2d2d8 . push triggered

  No notable changes.
10:00
created
20s
created
[DOCS] Extend upgrade notes for 4.0

master . #816 . pull request triggered

  No notable changes.
03:42
created
20s
created
Merge pull request #813 from dvoracek-slub/dev-collection-search

master . 72271f...1253ac . push triggered

  1 fixed issue found. 2 suggested patches.
32s
created
[BUGFIX] Fix search in collection, allow multiple collections

master . #813 . pull request triggered

  1 fixed issue found. 2 suggested patches.
03:39
created
Merge pull request #815 from dvoracek-slub/fix-calendar

master . 27f939...72271f . push triggered

  No notable changes.
17s
created
[BUGFIX] Fix all-year calendar title and restore previous markup

master . #815 . pull request triggered

  No notable changes.
07:26
created
[BUGFIX] Fix search in collection, allow multiple collections

master . #813 . pull request triggered

  1 fixed issue found. 2 suggested patches.
04:01
created
Merge pull request #814 from dvoracek-slub/fix-listview

master . f0bd62...27f939 . push triggered

  No notable changes.
19s
created
22s
created
Merge pull request #809 from dvoracek-slub/dev-blob-data

master . 48cc25...6443a0 . push triggered

  No notable changes.
17s
created
Merge pull request #805 from dvoracek-slub/dev-fix-wrap

master . 65f266...48cc25 . push triggered

  No notable changes.
23s
created
[BUGFIX] Make other metadata available in metadata wrap

master . #805 . pull request triggered

  No notable changes.
03:45
created
Merge pull request #804 from dvoracek-slub/dev-fixes

master . 744aa1...65f266 . push triggered

  No notable changes.
21s
created
Merge pull request #802 from albig/fix-search-fulltext

master . 9a2a94...744aa1 . push triggered

  3 new issues, 3 fixed issues found. 1 suggested patches.
20s
created
Some bug fixes and maintenance tasks

master . #802 . pull request triggered

  3 new issues, 3 fixed issues found. 1 suggested patches.
04:04
created
Some bug fixes and maintenance tasks

master . #802 . pull request triggered

  4 new issues, 3 fixed issues found. 1 suggested patches.
03:03
created
21s
created