Inspections

fix inst type hinting

master . a6c5e6...8eb207 . push triggered

  8 new issues, 3 fixed issues found. 1 suggested patches.
07:14
created
so this one is now superfluous

master . dc5c7a...a6c5e6 . push triggered

  3 new issues found.
06:48
created
04:19
created
another round of fixing

master . 4f5e39...9b39f0 . push triggered

  6 fixed issues found. 1 suggested patches.
06:25
created
good that Scrutinizer found these subtle breakages

master . ac314a...4f5e39 . push triggered

  8 new issues, 17 fixed issues found. 1 suggested patches.
06:38
created
this test actually exists now, only with a different function name

master . 50c81e...ac314a . push triggered

  17 new issues, 27 fixed issues found.
06:50
created
doc fixes

master . 5bb890...50c81e . push triggered

  Inspection was canceled.
04:34
created
small fixes

master . e2f476...5bb890 . push triggered

  8 fixed issues found. 1 suggested patches.
06:49
created
this should work better

master . ca02fc...e2f476 . push triggered

  1 new issue found.
07:09
created
this resides under build

master . 6e5604...ca02fc . push triggered

  Test setup failed.
10:25
created
use 7.3 only on tests, not analysis

master . ef4747...6e5604 . push triggered

  Inspection failed.
9s
created
need to install ourselves

master . 0120b9...ef4747 . push triggered

  Tests failed.
06:30
created
use the website config, which is more rigid

master . ace97c...0120b9 . push triggered

  Tests failed.
07:24
created
ace97c449d298eeb9838e861dc0ef68ae67967ee

master . ace97c . manually triggered

  1 fixed issue found.
07:45
created
catch some corner case

master . ace97c . manually triggered

  Inspection was canceled.
02:24
created
catch some corner case

master . c6d5e7...ace97c . push triggered

  Inspection was canceled.
6s
created
07:03
created
catching non-existent corner case with a cast

master . 8fc68e...341c02 . push triggered

  Tests failed. 48 issues found. 0 patches suggested.
07:57
created
lots of documentation style fixes

master . c963bb...8fc68e . push triggered

  2 new issues found. 3 suggested patches.
07:42
created
fine-grained naming instead of "IdP"

master . b11691...c963bb . push triggered

  No notable changes.
08:48
created