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 ( 64adfe...7d96ad )
by Dan
34s queued 16s
created
src/lib/Default/SmrSession.class.php 1 patch
Spacing   +2 added lines, -3 removed lines patch added patch discarded remove patch
@@ -33,7 +33,7 @@  discard block
 block discarded – undo
33 33
 	private static int $account_id;
34 34
 	public static int $last_accessed;
35 35
 
36
-	protected static ?array $previousAjaxReturns;
36
+	protected static ? array $previousAjaxReturns;
37 37
 	protected static array $ajaxReturns = array();
38 38
 
39 39
 	public static function init() : void {
@@ -104,8 +104,7 @@  discard block
 block discarded – undo
104 104
 				} elseif ($value['RemainingPageLoads'] < 0) {
105 105
 					//This link is no longer valid
106 106
 					unset(self::$var[$key]);
107
-				} else {
108
-					--self::$var[$key]['RemainingPageLoads'];
107
+				} else {--self::$var[$key]['RemainingPageLoads'];
109 108
 					if (isset($value['CommonID'])) {
110 109
 						self::$commonIDs[$value['CommonID']] = $key;
111 110
 					}
Please login to merge, or discard this patch.