From 6584e83026b635f71bc298bc2acb1fdb1a7b00a0 Mon Sep 17 00:00:00 2001 From: Sami Fouad Date: Thu, 10 Sep 2026 04:50:30 -0600 Subject: [PATCH] pass the git commit into the wasm build so it stops reporting unknown deka_compiler_metadata() exposes SOURCE_COMMIT, which reads DEKA_SOURCE_COMMIT via option_env! at compile time and falls back to the literal string "unknown" when it is unset. The release workflow never set it, so every published wasm has reported source_commit=unknown -- visible in the release log as [hats build] wasm compiler version=0.8.1 source_commit=unknown and rendered by testsuite.deka.gg as "dsc v0.8.0@unknown", where the site assumed a truthy value was a real commit and sliced it to seven characters. The value is available as github.sha in the job that builds the artifact. --- .github/workflows/release.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 121795a..17ec61a 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -125,6 +125,10 @@ jobs: - name: Build WASM artifacts env: RUSTC_WRAPPER: sccache + # deka_compiler_metadata() reads this via option_env! at compile time. + # Without it SOURCE_COMMIT falls back to the literal string "unknown", + # which testsuite.deka.gg then renders as "@unknown" beside the version. + DEKA_SOURCE_COMMIT: ${{ github.sha }} run: scripts/build-wasm.sh dist/wasm - name: Upload WASM artifacts