summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFedja Beader <fedja@protonmail.ch>2024-04-27 13:20:15 +0000
committerFedja Beader <fedja@protonmail.ch>2024-04-30 16:24:41 +0200
commitfc463049fe8d4faab8c670a61337e0156da9ccb9 (patch)
treebc86c90a0c2b1ab04f1916bd6a69f31ee07378d4
parent45b2092072526348551dd6856bde3129ed5d9a4a (diff)
downloadmplint-fc463049fe8d4faab8c670a61337e0156da9ccb9.tar.gz
mplint-fc463049fe8d4faab8c670a61337e0156da9ccb9.tar.bz2
mplint-fc463049fe8d4faab8c670a61337e0156da9ccb9.tar.xz
mplint-fc463049fe8d4faab8c670a61337e0156da9ccb9.zip
Make a mplint-version.txt as well, to know what was actually downloaded.
+ Instead of git describe (which does not work without tags), we could just use predefined CI vars + colon followed by space has another meaning + package build-info, too. Oh, and inentionally fail pipeline to see what I get under artifacts fetch.
-rw-r--r--.gitlab-ci.yml14
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