judus/argon-routing
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| May 24 2026, 14:58:09 | a0390a2 | 99.571% | 2.3K |
| May 24 2026, 14:00:52 | a93a452 | 99.571% | 2.3K |
| May 24 2026, 13:39:54 | 4d22aa5 | 99.571% | 2.3K |
| May 24 2026, 12:58:39 | b6d2594 | 99.571% | 2.3K |
| May 24 2026, 11:52:36 | 7564c5b | 99.613% | 2.3K |