rajamesandClaude Opus 5.5
6eadd2f56c
Build / Image RASPI (push) Successful in 4m20s
Build / Image PC (push) Successful in 3m56s
Build / Image MILKV (push) Successful in 4m2s
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m5s
Build / Image RASPI (pull_request) Successful in 4m33s
Build / Image PC (pull_request) Successful in 4m24s
Build / Image MILKV (pull_request) Successful in 5m4s
Build / v4 tests (32- and 64-bit cells) (pull_request) Successful in 11m54s
build.yml, as master had it, could not run here: it called Makefile.starkernel and make T=<board> (the tree has kernel/Makefile and TARGET=<board>), listed a Pi 4 with no port, published "releases" under org/f18 on every push, installed Isabelle2024 (the proofs need Isabelle2025-2) from a mirror that answered 503, and duplicated the nightlies with its own 02:00 schedule. Now it is the check on every push to master and StarForth-v4.0.0 and every PR into master: each board's image (make boot_image TARGET=PC|RASPI|MILKV, xz'd, kept with its SBOM) and make -C v4 test, both cell widths. It publishes nothing; the nightlies and release.yml do. Every job of every workflow now names its container, gitea/runner-images:ubuntu-24.04-v26.11.03: the runner maps ubuntu-latest to node:20-bullseye, Debian 11, where every job of PR #30's runs failed at its first apt-get, and which has no qemu-efi-riscv64 and a far older QEMU and compilers than the Ubuntu 24.04 all of this was tested on. Node is needed in the image: actions/checkout and upload-artifact run inside the job's container. The dated tag keeps a run from changing under an image update. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
67 lines
2.3 KiB
YAML
67 lines
2.3 KiB
YAML
# The check on every push and pull request: each board's image builds, and the v4 tests pass.
|
|
# Nothing is published here. The nightlies own the rest: nightly.yml (the QEMU acceptance boots,
|
|
# the 32-bit build, the Isabelle/HOL proofs, the images to Nexus) and nightly-docs.yml (the
|
|
# documents to Nexus).
|
|
name: Build
|
|
|
|
on:
|
|
push:
|
|
branches: [master, StarForth-v4.0.0]
|
|
pull_request:
|
|
branches: [master]
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
image:
|
|
name: Image ${{ matrix.board }}
|
|
runs-on: ubuntu-latest
|
|
container:
|
|
image: gitea/runner-images:ubuntu-24.04-v26.11.03 # the runner's own ubuntu-latest is Debian 11 (node:20-bullseye)
|
|
timeout-minutes: 45
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
include: # boards/<dir>/board.mk; Pi 4 has no port yet (#26)
|
|
- { board: PC, arch: amd64, dir: pc, image: lithos-pc.img }
|
|
- { board: RASPI, arch: aarch64, dir: raspi, image: lithos-raspi.img }
|
|
- { board: MILKV, arch: riscv64, dir: milkv, image: lithos-milkv.img }
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0 # the SBOM's version is git describe
|
|
lfs: false # only the logs and DoE CSVs are in LFS; the build needs neither
|
|
|
|
- name: Install the build's dependencies
|
|
run: make ARCH=${{ matrix.arch }} init INIT_DOCS=0
|
|
|
|
- name: Boot image
|
|
run: make boot_image TARGET=${{ matrix.board }}
|
|
|
|
- name: Compress # the PC image is a 2 GiB stick, nearly all empty
|
|
run: xz -T0 -6 build/boards/${{ matrix.dir }}/${{ matrix.image }}
|
|
|
|
- name: Keep the image and its SBOM
|
|
uses: actions/upload-artifact@v3
|
|
with:
|
|
name: image-${{ matrix.dir }}-${{ github.run_number }}
|
|
path: |
|
|
build/boards/${{ matrix.dir }}/${{ matrix.image }}.xz
|
|
build/boards/${{ matrix.dir }}/*.spdx*
|
|
|
|
v4-tests:
|
|
name: v4 tests (32- and 64-bit cells)
|
|
runs-on: ubuntu-latest
|
|
container:
|
|
image: gitea/runner-images:ubuntu-24.04-v26.11.03 # the runner's own ubuntu-latest is Debian 11 (node:20-bullseye)
|
|
timeout-minutes: 60
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
lfs: false
|
|
|
|
- name: Install the build's dependencies
|
|
run: make ARCH=amd64 init INIT_DOCS=0
|
|
|
|
- name: make -C v4 test
|
|
run: make -C v4 test
|