Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Work around SUIT related build breakage #1

Merged
merged 2 commits into from
Sep 16, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@ name: build

on:
push:
branches: ["main"]
schedule:
# While we don't have hooks triggering this from riot-sys etc, a cron job
# is the next best thing
Expand Down Expand Up @@ -33,6 +32,7 @@ jobs:
env:
SECRET_KEY: ${{ secrets.SECRET_KEY }}
SECRET_PORT: ${{ secrets.SECRET_PORT }}
if: github.ref == 'refs/heads/main'
run: |
# Beware that SSH uses /root and not ~ = ${HOME} = /github/home/ as
# documented on https://bugzilla.mindrot.org/show_bug.cgi?id=3048
Expand Down
7 changes: 7 additions & 0 deletions build-with-checkouts.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,11 @@ cargo update
# target is not added the same way.
rustup target add thumbv7em-none-eabihf

# We're not running with RIOT_CI_BUILD to avoid getting *all* the effects of
# things being different, but that also means there is an interactive prompt as
# soon as one starts doing anything SUIT related. Can't set RIOT_CI_BUILD
# because it'd also change the output path, so we emulate a user picking
# 'none' whyen prompted.
echo '0' | make -C RIOT/examples/suit_update suit/genkey

make build-cargo-docs