From 02d42cbda05ac793285ec302995bfeab955d3b57 Mon Sep 17 00:00:00 2001 From: Morgan Thomas Date: Thu, 10 Jun 2021 23:15:32 -0400 Subject: [PATCH] turn off profiling to test CI --- .gitlab-ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2aa647b4..6577fae0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -86,28 +86,28 @@ Dev Shell GHC 8.6.5 on Linux: needs: - Packages GHC 8.6.5 on Linux script: - - nix-shell --run "echo works" --arg enableLibraryProfiling true --fallback + - nix-shell --run "echo works" --fallback Dev Shell GHCJS 8.6 on Linux: stage: Linux Shell needs: - Packages GHCJS 8.6 on Linux script: - - nix-shell --run "echo works" --arg enableLibraryProfiling true --arg isJS true --fallback + - nix-shell --run "echo works" --arg isJS true --fallback Dev Shell GHC 8.6.5 on Darwin: stage: Darwin Shell needs: - Packages GHC 8.6.5 on Darwin script: - - nix-build --run "echo works" --arg enableLibraryProfiling true --argstr system x86_64-darwin --fallback + - nix-build --run "echo works" --argstr system x86_64-darwin --fallback Dev Shell GHCJS 8.6 on Darwin: stage: Darwin Shell needs: - Packages GHCJS 8.6 on Darwin script: - - nix-shell --run "echo works" --arg enableLibraryProfiling true --argstr system x86_64-darwin --arg isJS true --fallback + - nix-shell --run "echo works" --argstr system x86_64-darwin --arg isJS true --fallback Website: stage: Documentation -- GitLab