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
10:35
created

Changes

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