ci: gitea workflow, drop inherited github workflows, embed commit in --version #10
Reference in New Issue
Block a user
Delete Branch "ci/gitea-workflows-and-build-sha"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
First lair-only change on top of origin v4.0.2. Step 1 of #8; establishes the merge-conflict resolution rule in #1.
What changed
.github/(five workflows and thediskaction). Gitea Actions also reads.github/workflows, so origin's GitHub-hosted jobs would queue forever forubuntu-latest. On everyorigin-mainmerge the standing resolution isgit rm -r .github/workflows..gitea/workflows/ci.ymlon therustrunner: fmt, clippy with-D warnings(same invocation asclippy.sh), build, test, doc, plus a check that the built binary's--versioncarries a commit. Origin's CPU benchmark job is not carried over; the GPU harness (#2) is the real gate.crates/miner-cli/build.rsembedsMINER_BUILD_SHA(env override, elsegit rev-parsewith a-dirtymarker, elseunknown).--versionnow printsminer-cli 4.0.2 (<sha>). The deploy in #8 asserts the running binary is the commit it shipped; semver alone cannot.Validation
Local, toolchain 1.93.0 per
rust-toolchain:This PR is also the first run of the new workflow itself. If the
cichecks do not appear on this PR, Actions is not enabled on the repo (the one thing not verifiable through the API).Origin coupling
.gitea/andbuild.rsare new files.main.rsgains oneconstand one attribute argument under a// lair:marker. lair/quantus's validate still matches on the4.0.2substring, so nothing downstream breaks before #8's deploy replaces it.🤖 Generated with Claude Code
https://claude.ai/code/session_01CBgs2nSi4H2mdh8kD8vMX5