From 369fbef37cdf9093bf92dfa068f2c67a2b0f617e Mon Sep 17 00:00:00 2001 From: Diogo Castro Date: Fri, 18 Aug 2023 16:09:09 +0100 Subject: [PATCH] fixup! [Chore] Fix CI --- .buildkite/pipeline.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.buildkite/pipeline.yml b/.buildkite/pipeline.yml index 4b6dc5c..2428c4d 100644 --- a/.buildkite/pipeline.yml +++ b/.buildkite/pipeline.yml @@ -21,11 +21,11 @@ steps: command: nix build -L .#checks.x86_64-linux.hlint - label: build - key: build_step + key: build command: nix build -L .#checks.x86_64-linux.build-all - label: tests - depends_on: build_step + depends_on: build commands: - nix build -L .#checks.x86_64-linux.test - nix develop .#doctest -c runghc test/doctests.hs