Skip to content

Use QEMU for CI and enable trixie #799

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.

Sign up for GitHub

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

Draft
sonnyp wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Use QEMU for CI and enable trixie #799

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
33 changes: 33 additions & 0 deletions .github/workflows/build-os-trixie.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
---
name: build-os-trixie
on:
push:
tags:
- 'software/v*'
merge_group:
workflow_dispatch:
inputs:
git-ref:
description: 'Git ref (optional)'
required: false

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
build:
name: build
permissions:
contents: read
packages: write
id-token: write
uses: ./.github/workflows/build-os.yml
secrets: inherit
with:
name: PlanktoScope-OS
base_release_name: trixie
base_image_variant: lite
base_release_date: 2025-10-02
base_file_release_date: 2025-10-01
arch: arm64
14 changes: 7 additions & 7 deletions .github/workflows/build-os.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -143,17 +143,17 @@ jobs:
# RUN OS SETUP SCRIPTS

- name: Run OS setup scripts in an unbooted container
uses: ethanjli/pinspawn-action@v0.1.5
uses: ethanjli/pinspawn-qemu@v0.1.5
with:
image: ${{ steps.expand-image.outputs.destination }}
user: ${{ env.SETUP_USER }}
# Note: CAP_NET_ADMIN is needed for iptables, which is needed for Docker (at least in an
# unbooted container). Setting the machine ID (and therefore hostname) to `raspberrypi`
# resolves noisy (but harmless) error messages from sudo.
args: >-
--bind "$(pwd)":/run/os-setup
--capability=CAP_NET_ADMIN
--machine=raspberrypi
# args: >-
# --bind "$(pwd)":/run/os-setup
# --capability=CAP_NET_ADMIN
# --machine=raspberrypi
run: |
echo "Running setup scripts..."
export DEBIAN_FRONTEND=noninteractive
Expand All @@ -167,7 +167,7 @@ jobs:
DEFAULT_KEYBOARD_LAYOUT: us
with:
image: ${{ steps.expand-image.outputs.destination }}
args: --machine=raspberrypi
# args: --machine=raspberrypi
run: |
# Change default settings for the SD card to enable headless & keyboardless first boot
# Note: we could change the username by making a `userconf.txt` file with the new
Expand All @@ -194,7 +194,7 @@ jobs:
# RUN TESTS

- name: Run tests
uses: ethanjli/pinspawn-action@v0.1.5
uses: ethanjli/pinspawn-qemu@v0.1.5
with:
image: ${{ steps.expand-image.outputs.destination }}
user: pi
Expand Down