build:
image: registry.gitlab.com/robigalia/runner:latest
cache:
key: $CACHE_KEY
paths:
- /root/.cargo
script:
- "xargo build --target i686-sel4-robigalia --no-default-features"
- "xargo build --target arm-sel4-robigalia --no-default-features"
- "cargo build --no-default-features"
- "cargo test"
- "cargo test --release"
verify_signatures:
image: ubuntu:17.04
script:
- apt update
- apt install --assume-yes python-pexpect gnupg2 git
- git clone --depth=1 https://gitlab.com/robigalia/meta
- gpg2 --list-keys - (gpg2 --export --no-default-keyring --keyring ./meta/.gnupg/pubring.kbx || true) | gpg2 --import
- gpg2 --list-keys --fingerprint --fingerprint --verbose
- ./meta/verify-signatures.py HEAD ./meta/.mailmap