From 5df8d29fe433cfd1039776c1e456ff08eb04a917 Mon Sep 17 00:00:00 2001 From: Jeong YunWon Date: Fri, 17 Feb 2023 22:25:17 +0900 Subject: [PATCH] Add whats_left running to CI --- .github/workflows/ci.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index a06efd52c..ccc1ad6ed 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -295,6 +295,8 @@ jobs: run: | mkdir site-packages target/release/rustpython --install-pip ensurepip --user + - name: Check whats_left is not broken + run: python -I whats_left.py lalrpop: if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }} @@ -361,8 +363,6 @@ jobs: run: cd wasm && git ls-files -z | xargs -0 prettier --check -u - name: Check update_asdl.sh consistency run: bash scripts/update_asdl.sh && git diff --exit-code - - name: Check whats_left is not broken - run: python -I whats_left.py miri: if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}