Skip to content

Commit 03847a7

Browse files
authored
Update move-ci.yml
1 parent 31500cf commit 03847a7

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

.github/workflows/move-ci.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,5 +20,11 @@ jobs:
2020
echo "$HOME/.local/bin" >> $GITHUB_PATH
2121
aptos --version
2222
23+
- name: Static sanity checks
24+
run: |
25+
set -euo pipefail
26+
! grep -RIn "{{ADDR}}" -- . || (echo "ERROR: found {{ADDR}} placeholders" && exit 1)
27+
! grep -RIn "use std::" -- . || (echo "ERROR: found std:: imports; use 0x1::" && exit 1)
28+
2329
- name: Repo-wide build & tests
2430
run: ./tools/check.sh

0 commit comments

Comments
 (0)