judus/argon
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| April 1 2025, 23:13:32 | edb8e4a | 99.056% | 5.4K |
| April 1 2025, 17:15:46 | c81d583 | 99.068% | 5.3K |
| April 1 2025, 16:50:44 | d809598 | 99.068% | 5.3K |
| March 30 2025, 17:29:50 | 4ab4604 | 99.108% | 5.2K |
| March 29 2025, 17:26:48 | e58eea1 | 99.019% | 4.7K |