Use test/ci.sh for the CI pipeline

This commit is contained in:
Rodrigo Arias 2024-04-26 13:10:14 +02:00
parent 7e3ae32d77
commit c66704b7ed

View File

@ -3,13 +3,6 @@ build:ci:
tags: tags:
- nix - nix
script: script:
- env - test/ci.sh
- rm -rf bench6-master
- git clone --depth=1 https://pm.bsc.es/gitlab/rarias/bench6.git bench6-master
- cd bench6-master
- git rev-parse HEAD
- cd ..
- git rev-parse HEAD
- nix shell '.#bench6' 'jungle#bigotes' --command sh -c "test/run.sh"
rules: rules:
- if: $CI_PIPELINE_SOURCE == 'merge_request_event' - if: $CI_PIPELINE_SOURCE == 'merge_request_event'