diff options
| -rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 14211fb..e8131c6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -17,12 +17,21 @@ image: debian:bullseye variables: PMUPDATE: "apt-get update" PMINSTALL: "apt-get install -y -qq" - GIT_DEPTH: "1" + # 1000 is max possible to still get a "shallow clone" without other branches + GIT_DEPTH: "1000" build_default: stage: build script: + - echo "$CI_COMMIT_SHA" > mplint-version.txt + # colon followed by space has another meaning + - echo sha:" $CI_COMMIT_SHA" > mplint-build-info.txt + - echo jobid:" $CI_JOB_ID" >> mplint-build-info.txt + - echo title:" $CI_COMMIT_TITLE" >> mplint-build-info.txt + - echo pipeline:" $CI_PIPELINE_URL" >> mplint-build-info.txt + - cat mplint-version.txt + - cat mplint-build-info.txt - autoreconf -i - ./configure - make -j$(nproc) @@ -40,10 +49,13 @@ package_default: script: # To flatten the archive - mv src/mplint mplint + # 2.3MB to 250KB, but no symbols. - strip mplint variables: PACKAGES: binutils artifacts: paths: - mplint + - mplint-version.txt + - mplint-build-info.txt |