From 0584ebfeb5eebc2eb9866e544eff10910ea97335 Mon Sep 17 00:00:00 2001 From: Sean Billig Date: Fri, 25 Jul 2025 16:28:12 -0700 Subject: [PATCH 1/4] ci: add github actions for checking docs and antlr grammar --- .github/workflows/check-antlr-grammar.yml | 22 ++++++ .github/workflows/check-docs.yml | 82 +++++++++++++++++++++++ 2 files changed, 104 insertions(+) create mode 100644 .github/workflows/check-antlr-grammar.yml create mode 100644 .github/workflows/check-docs.yml diff --git a/.github/workflows/check-antlr-grammar.yml b/.github/workflows/check-antlr-grammar.yml new file mode 100644 index 000000000000..2443ce26c5bc --- /dev/null +++ b/.github/workflows/check-antlr-grammar.yml @@ -0,0 +1,22 @@ +name: ANTLR Grammar Check + +on: + push: + paths: + - 'docs/grammar/**' + pull_request: + paths: + - 'docs/grammar/**' + +jobs: + chk_antlr_grammar: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: actions/setup-java@v4 + with: + distribution: 'temurin' + java-version: '17' + + - name: Run ANTLR grammar tests + run: scripts/test_antlr_grammar.sh diff --git a/.github/workflows/check-docs.yml b/.github/workflows/check-docs.yml new file mode 100644 index 000000000000..3dd6d00a379b --- /dev/null +++ b/.github/workflows/check-docs.yml @@ -0,0 +1,82 @@ +name: Documentation Checks and Build + +on: + push: + paths: + - 'docs/**' + pull_request: + paths: + - 'docs/**' + +jobs: + chk_spelling: + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Set up Python + uses: actions/setup-python@v5 + with: + python-version: '3.x' + + - name: Install dependencies + run: | + pip install --user codespell + + - name: Check spelling + run: ~/.local/bin/codespell + + chk_pylint: + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Set up Python + uses: actions/setup-python@v5 + with: + python-version: '3.x' + + - name: Install Python dependencies + run: | + pip install --user pyyaml jsonschema pytest pylint + + - name: Check pylint version + run: pylint --version + + - name: Linting Python Scripts + run: scripts/pylint_all.py + + chk_docs_pragma_min_version: + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Check docs pragma version + run: scripts/docs_version_pragma_check.sh + + b_docs: + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Store commit hash and prerelease + run: | + if [[ $GITHUB_REF == refs/heads/release || $GITHUB_REF == refs/tags/* ]]; then + echo -n > prerelease.txt + else + date -u +"nightly.%Y.%-m.%-d" > prerelease.txt + fi + echo -n "$GITHUB_SHA" > commit_hash.txt + + - name: Build documentation + run: docs/docs.sh + + - name: Upload documentation artifacts + uses: actions/upload-artifact@v4 + with: + name: docs-html + path: docs/_build/html/ From a966568dda1d5ad2c6738419353936e001513a58 Mon Sep 17 00:00:00 2001 From: Sean Billig Date: Sat, 26 Jul 2025 15:07:54 -0700 Subject: [PATCH 2/4] ci: add github action to check proofs on test/formal/ changes --- .github/workflows/check-proofs.yml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 .github/workflows/check-proofs.yml diff --git a/.github/workflows/check-proofs.yml b/.github/workflows/check-proofs.yml new file mode 100644 index 000000000000..310a3f87c29d --- /dev/null +++ b/.github/workflows/check-proofs.yml @@ -0,0 +1,19 @@ +name: Formal Proofs Check + +on: + push: + paths: + - 'test/formal/**' + pull_request: + paths: + - 'test/formal/**' + +jobs: + chk_proofs: + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Correctness proofs for optimization rules + run: scripts/run_proofs.sh From 2c8257d20e1dbffa8fbf6419ce2a7541a24eb682 Mon Sep 17 00:00:00 2001 From: Sean Billig Date: Sat, 26 Jul 2025 15:15:28 -0700 Subject: [PATCH 3/4] ci: rm chk_proofs, chk_docs_pragma_min_version, chk_antlr_grammar from circleci --- .circleci/config.yml | 43 ------------------------------------------- 1 file changed, 43 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 0f4d2b6ebd41..0389e45603ce 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -210,12 +210,6 @@ commands: name: Build_ossfuzz command: scripts/ci/build_ossfuzz.sh - run_proofs: - steps: - - run: - name: Correctness proofs for optimization rules - command: scripts/run_proofs.sh - run_soltest: steps: - run: @@ -244,12 +238,6 @@ commands: no_output_timeout: 30m command: .circleci/parallel_cli_tests.py - run_docs_pragma_min_version: - steps: - - run: - name: docs pragma version check - command: scripts/docs_version_pragma_check.sh - # -------------------------------------------------------------------------- # Artifact Commands @@ -961,20 +949,6 @@ jobs: command: scripts/pylint_all.py - matrix_notify_failure_unless_pr - chk_antlr_grammar: - <<: *base_cimg_small - steps: - - checkout - - run: - name: Install Java - command: | - sudo apt -q update - sudo apt install -y openjdk-17-jdk - - run: - name: Run tests - command: scripts/test_antlr_grammar.sh - - matrix_notify_failure_unless_pr - chk_buglist: <<: *base_node_small steps: @@ -990,20 +964,6 @@ jobs: command: test/buglistTests.js - matrix_notify_failure_unless_pr - chk_proofs: - <<: *base_ubuntu2404_small - steps: - - checkout - - run_proofs - - matrix_notify_failure_unless_pr - - chk_docs_pragma_min_version: - <<: *base_ubuntu2404_small - steps: - - checkout - - run_docs_pragma_min_version - - matrix_notify_failure_unless_pr - t_ubu_pyscripts: <<: *base_ubuntu2404_small steps: @@ -1879,11 +1839,8 @@ workflows: - chk_coding_style: *requires_nothing # DISABLED FOR 0.6.0 - chk_docs_examples: *requires_nothing - chk_buglist: *requires_nothing - - chk_proofs: *requires_nothing - chk_pylint: *requires_nothing - chk_errorcodes: *requires_nothing - - chk_antlr_grammar: *requires_nothing - - chk_docs_pragma_min_version: *requires_nothing - t_ubu_pyscripts: *requires_nothing - t_win_pyscripts: *requires_nothing From b12da7d4d5e23c5ba5399f9284ecdd46a4e17fe8 Mon Sep 17 00:00:00 2001 From: Sean Billig Date: Sat, 26 Jul 2025 15:19:52 -0700 Subject: [PATCH 4/4] ci: remove b_ubu_ossfuzz from main circleci workflow --- .circleci/config.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 0389e45603ce..142e7cb32c2b 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -1846,7 +1846,6 @@ workflows: # build-only - b_docs: *requires_nothing - - b_ubu_ossfuzz: *requires_nothing - b_ubu_2204: *requires_nothing - b_ubu_2204_clang: *requires_nothing