Daily CI Workflow #304
CBirkbeckdaily.yml
on: schedule
Matrix: check-leanchecker
Matrix: check-mathlib_test_executable
Matrix: check-nanoda
Matrix: notify-leanchecker
Matrix: notify-mathlib_test_executable
Matrix: notify-nanoda