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
..
ISSUE_TEMPLATE
workflows	Add a github cron to check the hydra status	2021-11-30 17:54:25 +01:00
dependabot.yml
STALE-BOT.md	throw freenode down the memory hole	2021-05-27 21:48:39 +02:00
stale.yml