rajames/LithosAnanke
1
1
Fork 0
Code Issues 60 Pull Requests 1 Actions 2 Packages Projects Releases Activity

ci: the workflows run in the runner image with HOL-Library #128

Merged
rajames merged 1 commits from StarForth-v4.0.0 into master 2026-11-07 18:17:53 +00:00
Conversation 0 Commits 1 Files Changed 5
+6 -6
1 Commits
Author SHA1 Message Date
Claude 3c21a20f1a ci: the workflows run in lithosananke-runner:4f675c8b75b2, with HOL-Library
Build / Image RASPI (push) Successful in 2m28s
Details
Build / Image PC (push) Successful in 2m56s
Details
Build / Image MILKV (push) Successful in 2m34s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 8m52s
Details
Acceptance / Acceptance (pull_request) Successful in 12m30s
Details 
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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
 2026-11-07 17:47:12 +00:00