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

Inspections

Initiated By: Dan Hemberger
Branch: master
Handle overflow consistently in bank transactions

master . #875 . pull request triggered

  1 new issue found. 1 suggested patches.
03:41
created
sector_jump_calculate.php: remove unnecessary button

master . 73cd5d...7bb4c5 . push triggered

  No notable changes.
09:19
created
Merge pull request #874 from hemberger/create-cleanup

master . dbe81c...73cd5d . push triggered

  No notable changes.
33s
created
Remove some functions that write HTML in PHP

master . #874 . pull request triggered

  No notable changes.
13:23
created
Merge pull request #873 from hemberger/css-cleanup

master . 1c6cbf...dbe81c . push triggered

  No notable changes.
30s
created
Major CSS cleanup

master . #873 . pull request triggered

  No notable changes.
03:32
created
Fix CSS class collision

master . 9b98ed...1c6cbf . push triggered

  No notable changes.
03:51
created
Fully transition to using menu bar template (#872)

master . dba603...9b98ed . push triggered

  2 fixed issues found.
03:59
created
Fully transition to using menu bar template

master . #872 . pull request triggered

  2 fixed issues found.
03:38
created
Fully transition to using menu bar template

master . #872 . pull request triggered

  1 new issue, 2 fixed issues found.
03:39
created
Remove the submit CSS class

master . 764991...dba603 . push triggered

  No notable changes.
03:37
created
shop_goods.php: change Leave Port form to a link

master . ee83a0...764991 . push triggered

  No notable changes.
03:37
created
GameLink.inc: fix typo in error message

master . c6703d...ee83a0 . push triggered

  No notable changes.
04:20
created
Remove a.scan_btn CSS

master . 2a2909...c6703d . push triggered

  No notable changes.
10:33
created
preferences_processing.php: fix race change while landed

master . e7e437...2a2909 . push triggered

  No notable changes.
04:10
created
check_map.php: fix for port-less galaxies

master . 09ea2b...e7e437 . push triggered

  No notable changes.
04:12
created
Merge pull request #871 from hemberger/race-change

master . 8b2958...09ea2b . push triggered

  No notable changes.
31s
created
Add ability to change player race

master . #871 . pull request triggered

  No notable changes.
03:40
created
alliance_pick.php: use list.js to sort draft pool

master . 592487...8b2958 . push triggered

  No notable changes.
03:44
created
leave_newbie.php: only drop newbies in started games

master . 879508...592487 . push triggered

  No notable changes.
03:47
created