WIP: Dump environment

This commit is contained in:
Rodrigo Arias 2024-04-25 17:58:14 +02:00
parent 4d4dbe669c
commit 51f54fd151

View File

@ -3,4 +3,13 @@ build:ci:
tags: tags:
- nix - nix
script: script:
- env
- 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" - nix shell '.#bench6' 'jungle#bigotes' --command sh -c "test/run.sh"
rules:
- if: $CI_PIPELINE_SOURCE == 'merge_request_event'