Valentin GagarinandGitHub 9670cac1ab Backport PR title: Bot-based -> Automatic ...

In hope to reduce friction in contributor-facing communication, use a more common word. "bot" needless jargon for "something the machine does itself".

2023-02-07 11:11:50 +01:00

..

backport.yml

Backport PR title: Bot-based -> Automatic

2023-02-07 11:11:50 +01:00

ci.yml

Bump cachix/cachix-action from 11 to 12

2022-10-31 22:08:02 +00:00

hydra_status.yml

Fix the hydra_status CI job

2022-07-05 16:28:39 +02:00