From 87df1719541785e0c56065a6f0d461c3cf02a5cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?FEL=C5=A0=C3=96CI=20Marek?= <marek.felsoci@inria.fr> Date: Wed, 8 Nov 2023 22:58:47 +0100 Subject: [PATCH] We do not neet a separate post-processing phase anymore --- .gitlab-ci.yml | 19 ------------------- 1 file changed, 19 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1b460f5..9e56a94 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,7 +1,6 @@ stages: - "Extract source code" - "Performing benchmarks" - - "Post-processing results" - "Publishing" tangle: @@ -19,8 +18,6 @@ tangle: artifacts: paths: - benchmarks.csv - - results-ram.R - - results-time.R - manifest.scm - channels.scm - publish.el @@ -39,22 +36,6 @@ minisolver: paths: - results.csv -figures: - stage: "Post-processing results" - tags: ["guix"] - script: - - > - guix time-machine -C channels.scm -- shell --pure -m manifest.scm -- - Rscript ./results-time.R - - > - guix time-machine -C channels.scm -- shell --pure -m manifest.scm -- - Rscript ./results-ram.R - rules: - - if: '$CI_COMMIT_BRANCH == "main"' - artifacts: - paths: - - figures/*.pdf - pages: stage: "Publishing" tags: ["guix"] -- GitLab