Skip to content

remove cron CI and add manual trigger (#42) #257

remove cron CI and add manual trigger (#42)

remove cron CI and add manual trigger (#42) #257

Annotations

2 errors and 6 warnings

Miri matrix (ubuntu-latest, x86_64-apple-darwin, true, avx2)

failed Mar 7, 2024 in 25s