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.
Completed
Pull Request — master (#139)
by Andreas
18:12 queued 08:22
created

Changes

3 added classes/operations
Arrow A IsFloat added
Arrow A Chain::float() added
Arrow A IsFloat::validate() added
9.78
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Andreas Möller  
Merge e7c9fdcc1d186df3cd07aa3c0fee42ff7c9f9cb3 into 4e2f2dde4121a6bead3fac8e5559fbcc5c567e57
1 more commit
Base
Andreas Möller  
Fix: Amend note about dependencies of this project (#135)