Commit graph

12 commits

Author SHA1 Message Date
Gergely Nagy
cd059cf0c5
nix-shell: Disable a failing test
Some checks are pending
test nix/build / nix/build (push) Waiting to run
test nix/develop / nix/develop (push) Waiting to run
test nix/shell / nix/shell (push) Waiting to run
Shellcheck / shellcheck (push) Waiting to run
This test is obsolete, the default environment includes gcc now.

Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2025-04-19 13:50:39 +02:00
Gergely Nagy
b383d26223
ci: workflow updates
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2025-04-19 13:45:46 +02:00
Gergely Nagy
b1c9e9bddb ci: Fix the nix-shell workflow
It was looking at the `build` paths, rather than the `shell` paths.

Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-25 10:06:01 +02:00
Gergely Nagy
9cdda9ed9f ci: Add a shellcheck workflow, and fix SC2086 in develop
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 22:44:04 +02:00
Gergely Nagy
29ec176179 ci: Add a dummy workflow
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>
2023-09-22 22:29:30 +02:00
Gergely Nagy
b77e4125ee ci: Restrict workflows to paths that matter for them
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 22:14:43 +02:00
Gergely Nagy
1bac4fd767 develop: Run the user script with -eo pipefail
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 22:08:47 +02:00
Gergely Nagy
18b41c0333 Add a nix/shell action
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>
2023-09-22 21:43:51 +02:00
Gergely Nagy
63e7eb4047 develop: Made the run parameter optional
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>
2023-09-22 21:28:07 +02:00
Gergely Nagy
3935dfdac3 Add a nix/develop action
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 20:37:44 +02:00
Gergely Nagy
680f954a87 Add a nix/build action
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 20:22:33 +02:00
Gergely Nagy
704579d3cd Initial import
Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>
2023-09-22 19:37:47 +02:00