diff --git a/Snakefile b/Snakefile index 14e28f0ef1c47db7f9709197937a1e2d2f674150..9b230cf9bd2302df459a5cb696c55fca5a084bbb 100644 --- a/Snakefile +++ b/Snakefile @@ -132,6 +132,9 @@ cat > {output} <<EOF "CI_PIPELINE_ID": "${{CI_PIPELINE_ID:-}}", "CI_PIPELINE_SOURCE": "${{CI_PIPELINE_SOURCE:-}}", "CI_PROJECT_ID": "${{CI_PROJECT_ID:-}}", + "GITHUB_REPOSITORY": "${{GITHUB_REPOSITORY:-}}", + "GITHUB_SHA": "${{GITHUB_SHA:-}}", + "GITHUB_PR": "${{GITHUB_PR:-}}", "PIPELINE_NAME": "${{PIPELINE_NAME:-}}" }} EOF