For the badge to work, we need to run at least one workflow for every
push, otherwise Ironforge will be sad.
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
Since it's basically the same as `nix/develop`, with only the nix
command changed, leverage the existing script.
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
There's a valid use case for wanting to run `nix develop` without
executing anything: to get the dependencies installed. This way the
output of future steps will have considerably cleaner, more relevant
outputs.
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
