3 commits

Author	SHA1	Message	Date
Eelco Dolstra	5b809f9e0e	check-hydra-status.sh: Ignore unfinished builds	2022-02-10 21:15:07 +01:00
Eelco Dolstra	b8d57e2883	check-hydra-status.sh: Improve error behaviour	2022-02-10 11:10:58 +01:00
regnat	5f64b69d23	Add a github cron to check the hydra status ... Add a regular github action that will check the status of the latest hydra evaluation. Things aren’t ideal right now because this job will only notify “the user who last modified the cron syntax in the workflow file” (so myself atm). But at least that’ll give a notification for failing hydra jobs	2021-11-30 17:54:25 +01:00