Newer
Older
# maintained by q3k, built using docker/build-env
image: "derq3k/card10-build-env:20190806-195837Z-f95b541-dirty"
build:
stage: build
script:
- arm-none-eabi-size build/bootloader/bootloader.elf build/epicardium/epicardium.elf build/pycardium/pycardium.elf
release:
stage: build
script:
- ./bootstrap.sh
- ninja -C build/
- arm-none-eabi-size build/bootloader/bootloader.elf build/epicardium/epicardium.elf build/pycardium/pycardium.elf
only:
- tag
artifacts:
paths:
- build/bootloader/bootloader.elf
- build/epicardium/epicardium.elf
- build/pycardium/pycardium.elf
- build/pycardium/pycardium_epicardium.bin
image: "derq3k/card10-lint-env:20190806-201106Z-f95b541-dirty"
script:
# Annoyatron is maintained by q3k. Its job is to serve MR comments that are friendlier than just a failing pipeline.
# source code: https://git.card10.badge.events.ccc.de/q3k/annoyatron/
# prod deployment: https://gerrit.hackerspace.pl/plugins/gitiles/hscloud/+/refs/heads/master/personal/q3k/annoyatron/
# If this starts failing for any reason, just remove this curl ping.
- curl --fail https://annoyatron-prod.q3k.org/ping/mr?mr=${CI_MERGE_REQUEST_IID}
- git remote rm card10 || true # old gitlab runners might have this remote.
- git fetch https://git.card10.badge.events.ccc.de/card10/firmware.git master:card10/master
- git merge-base card10/master HEAD || ( echo "Your change needs to be rebased against current master."; exit 1; )
- git diff --name-only --diff-filter=d card10/master...HEAD | xargs tools/code-style.sh
- git diff --exit-code
only:
- merge_requests
# maintaned by q3k, build using docker/deploy-env
image: "derq3k/card10-deploy-env:20190806-200743Z-f95b541-dirty"