From eb054fa24a19e0fb38439a193a530036580d2fba Mon Sep 17 00:00:00 2001 From: Xavier Pinho Date: Wed, 15 Apr 2026 13:54:26 +0100 Subject: [PATCH 1/4] [workflows] making sure the repo is not dirty after build/tests --- .github/workflows/pr.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index fab7539..3f72092 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -26,6 +26,10 @@ jobs: - name: Run tests run: cargo test --locked + # Making sure that e.g. `rust.ungram` is updated and committed. + - name: Check if there are changes + uses: NathanielHill/fail-if-changes@master + format: runs-on: ubuntu-latest steps: From 067d38393cca98d7e266dbe2ae9cf1c0aab57837 Mon Sep 17 00:00:00 2001 From: Xavier Pinho Date: Wed, 15 Apr 2026 14:09:25 +0100 Subject: [PATCH 2/4] replace with bash script in order to work on win/mac --- .github/workflows/pr.yml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 3f72092..dac1f9f 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -26,9 +26,15 @@ jobs: - name: Run tests run: cargo test --locked - # Making sure that e.g. `rust.ungram` is updated and committed. - name: Check if there are changes - uses: NathanielHill/fail-if-changes@master + shell: bash + run: | + if [[ -n "$(git status --porcelain --untracked-files=no)" ]]; then + echo "::error title=Repository modified by CI::Did you forget to commit rust.ungram?" + echo "Changes:" + git status --short + exit 1 + fi format: runs-on: ubuntu-latest From 089af0ab0ce4a774de306beeb33be374ccc8e0e3 Mon Sep 17 00:00:00 2001 From: Xavier Pinho Date: Wed, 15 Apr 2026 14:14:52 +0100 Subject: [PATCH 3/4] checking that ci check works --- rust.ungram | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust.ungram b/rust.ungram index 324b2bb..8ebf9b8 100644 --- a/rust.ungram +++ b/rust.ungram @@ -150,7 +150,7 @@ Meta = | KeyValueMeta | TokenTreeMeta -UnsafeMeta = +--UnsafeMeta = 'unsafe' '(' Meta ')' PathMeta = From aa9632dbe8321e68e310cea09e6b13e5021718cb Mon Sep 17 00:00:00 2001 From: Xavier Pinho Date: Wed, 15 Apr 2026 14:16:03 +0100 Subject: [PATCH 4/4] Revert "checking that ci check works" This reverts commit 089af0ab0ce4a774de306beeb33be374ccc8e0e3. --- rust.ungram | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust.ungram b/rust.ungram index 8ebf9b8..324b2bb 100644 --- a/rust.ungram +++ b/rust.ungram @@ -150,7 +150,7 @@ Meta = | KeyValueMeta | TokenTreeMeta ---UnsafeMeta = +UnsafeMeta = 'unsafe' '(' Meta ')' PathMeta =