Link Checker Report
github-actions opened this issue Β· comments
Summary
Status | Count |
---|---|
π Total | 738 |
β Successful | 728 |
β³ Timeouts | 1 |
π Redirected | 0 |
π» Excluded | 9 |
β Unknown | 0 |
π« Errors | 0 |
Errors per input
Errors in README.md
- [TIMEOUT] https://www.pm.inf.ethz.ch/research/prusti.html | Timeout
Full Github Actions output
Seems to work again. Maybe just a temporary hiccup.