Skip to content

Commit 175b40f

Browse files
hyperpolymathclaude
andcommitted
fix(ci): build Hypatia escript from repo root in dogfood gate
The hypatia repo no longer has a scanner/ subdirectory — mix.exs and hypatia-cli.sh now live at the repo root. The dogfood build step still did `cd scanner && mix escript.build`, which failed with 'cd: scanner: No such file or directory' and red-flagged every PR (pre-existing on main; surfaced as a blocking red here). Build from the root and use the canonical `hypatia` escript name (hypatia-cli.sh already prefers it over legacy `hypatia-v2`). Refs verisimiser#59 Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent a574a0e commit 175b40f

1 file changed

Lines changed: 7 additions & 2 deletions

File tree

.github/workflows/hypatia-scan.yml

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,8 +48,13 @@ jobs:
4848
- name: Build Hypatia scanner
4949
run: |
5050
cd "$HOME/hypatia"
51-
if [ ! -f hypatia-v2 ]; then
52-
cd scanner && mix deps.get && mix escript.build && mv hypatia ../hypatia-v2
51+
# The Hypatia scanner is an escript built from the repo root
52+
# (mix.exs and hypatia-cli.sh live at the root; there is no
53+
# longer a scanner/ subdirectory). `mix escript.build` produces
54+
# `hypatia`, which hypatia-cli.sh prefers over the legacy
55+
# `hypatia-v2` name, so no rename is needed.
56+
if [ ! -f hypatia ]; then
57+
mix deps.get && mix escript.build
5358
fi
5459
5560
- name: Run Hypatia scan

0 commit comments

Comments
 (0)