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, aarch64-unknown-linux-gnu, false)

failed Mar 7, 2024 in 25s