ci: Refactor get_cirrusci_freebsd script to GitHub action

This should make it more reliable and also easier to re-use, if we need to. Resolves #2555
2024-05-04 14:56:57 +02:00
parent 5aa62d944d
commit 1ca2d1f8be
5 changed files with 121 additions and 86 deletions
@@ -7,7 +7,6 @@
 , hlint
 , hsie
 , nixpkgs-fmt
-, shellcheck
 , silver-searcher
 , statix
 , stylish-haskell
@@ -58,10 +57,6 @@ let
        workingDir = "/";
      }
      ''
-        echo "Linting bash scripts..."
-        ${shellcheck}/bin/shellcheck \
-          .github/get_cirrusci_freebsd \
-
        echo "Linting workflows..."
        ${actionlint}/bin/actionlint