uhhm/portal
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 89 Wiki Activity

One binary: the lint and the trainer are commands of portal #7

Merged
bl merged 112 commits from one-binary into main 2026-09-30 13:33:14 +00:00
Conversation 0 Commits 112 Files Changed 59
+9 -2
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit e543b41cb0 - Show all commits
.gitea/workflows/publish.yml
+3 -1
View File
@@ -12,7 +12,9 @@ jobs:
publish:
runs-on: bare
env:
CARGO_HOME: /var/local/cargo
# Writable, unlike the shared /var/local/cargo - see test.yml.
CARGO_HOME: /var/local/cargo-target/iris-cargo-home
RUSTC_WRAPPER: /usr/bin/sccache
RUSTUP_HOME: /var/local/rustup
PATH: /var/local/cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/bin
SCCACHE_DIR: /var/local/sccache
.gitea/workflows/test.yml
+6 -1
View File
@@ -10,7 +10,12 @@ jobs:
runs-on: bare
env:
# Same shared toolchain and cache as uhhm/portal's workflows.
CARGO_HOME: /var/local/cargo
# Not the shared /var/local/cargo: the runner may only read it, and
# the portal git dependency has to be cloned into CARGO_HOME. This
# one lives under the writable target dir; the rustc wrapper the
# shared config would have set is given here instead.
CARGO_HOME: /var/local/cargo-target/iris-cargo-home
RUSTC_WRAPPER: /usr/bin/sccache
RUSTUP_HOME: /var/local/rustup
PATH: /var/local/cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/bin
SCCACHE_DIR: /var/local/sccache