From 3c21a20f1a3497246437e40a1593c6877f8c2972 Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 7 Nov 2026 17:47:12 +0000 Subject: [PATCH] ci: the workflows run in lithosananke-runner:4f675c8b75b2, with HOL-Library The image runner-image.yml built from master 4f675c8b (run 193): what init installs, Maven, and the HOL-Library heap fetched prebuilt (checksum OK, 4.8 s), so the proofs build only the StarForth session. Its acceptance run is this PR's. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- .gitea/workflows/acceptance.yml | 2 +- .gitea/workflows/build.yml | 4 ++-- .gitea/workflows/nightly-docs.yml | 2 +- .gitea/workflows/nightly.yml | 2 +- .gitea/workflows/release.yml | 2 +- 5 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.gitea/workflows/acceptance.yml b/.gitea/workflows/acceptance.yml index c0e2a3e9..dcbaf7a7 100644 --- a/.gitea/workflows/acceptance.yml +++ b/.gitea/workflows/acceptance.yml @@ -27,7 +27,7 @@ jobs: name: Acceptance runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} diff --git a/.gitea/workflows/build.yml b/.gitea/workflows/build.yml index 07711d7f..8e0747ca 100644 --- a/.gitea/workflows/build.yml +++ b/.gitea/workflows/build.yml @@ -22,7 +22,7 @@ jobs: name: Image ${{ matrix.board }} runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} @@ -70,7 +70,7 @@ jobs: name: v4 tests (32- and 64-bit cells) runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} diff --git a/.gitea/workflows/nightly-docs.yml b/.gitea/workflows/nightly-docs.yml index d2410264..ff62b68b 100644 --- a/.gitea/workflows/nightly-docs.yml +++ b/.gitea/workflows/nightly-docs.yml @@ -23,7 +23,7 @@ jobs: name: Book, volumes, API reference runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} diff --git a/.gitea/workflows/nightly.yml b/.gitea/workflows/nightly.yml index 1588ff39..8cc718cc 100644 --- a/.gitea/workflows/nightly.yml +++ b/.gitea/workflows/nightly.yml @@ -29,7 +29,7 @@ jobs: name: Acceptance, images, proofs runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} diff --git a/.gitea/workflows/release.yml b/.gitea/workflows/release.yml index 404bebd6..89469431 100644 --- a/.gitea/workflows/release.yml +++ b/.gitea/workflows/release.yml @@ -23,7 +23,7 @@ jobs: name: Release ${{ github.ref_name }} runs-on: ubuntu-latest container: - image: gitea.starshipos-f18.org/rajames/lithosananke-runner:72b6cf370db1 # ci/runner-image (#120) + image: gitea.starshipos-f18.org/rajames/lithosananke-runner:4f675c8b75b2 # ci/runner-image (#120) credentials: # the registry refuses anonymous pulls username: rajames password: ${{ secrets.PACKAGES_TOKEN }} -- 2.54.0