Commit graph

4 commits

Author SHA1 Message Date
79bb6d1eb0 Cleanup and perf 2025-07-03 19:44:03 +02:00
5ef63686f3 Guard against completely broken nightlies 2024-09-08 12:25:36 +02:00
262e8acd9f add miri std support 2024-09-08 11:44:43 +02:00
b2ab2ff73e make it a webapp 2024-09-07 22:43:04 +02:00