diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1b460f5d957f1dc771e464232335c5625563ea62..9e56a94d4729d580ddd3b417cfa29be94ad49b0c 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"]