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 (#138)
by Andreas
03:14
created

Changes

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