Merge pull request #5025 from zanieb/internal/update-asdl

Delete stale ASDL update script

.github/workflows/ci.yaml

@@ -323,8 +323,6 @@ jobs:
       - name: check wasm code with prettier
         # prettier doesn't handle ignore files very well: https://github.com/prettier/prettier/issues/8506
         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
 
   miri:
     if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}

scripts/update_asdl.sh

@@ -1,7 +0,0 @@
-#!/bin/bash
-set -e
-
-cd "$(dirname "$(dirname "$0")")"
-
-python compiler/ast/asdl_rs.py -D compiler/ast/src/ast_gen.rs -M vm/src/stdlib/ast/gen.rs compiler/ast/Python.asdl
-rustfmt compiler/ast/src/ast_gen.rs vm/src/stdlib/ast/gen.rs