diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 27d7fbf243..ee4cfcdec7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -175,8 +175,12 @@ after_script: artifacts: name: "%CI_JOB_NAME%" paths: + - coq-buildlogs.zip + - coq-filelists.zip + - coq-flagfiles.zip - dev\nsis\*.exe - coq-opensource-archive-windows-*.zip + when: always expire_in: 1 week dependencies: [] tags: |