docs(paper): refine Section 4.2 and 4.3 to top-tier academic prose #118
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI/CD Pipeline | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ci-${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| test: | |
| # Keep this name stable for existing branch-protection rules. | |
| name: Run Tests | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v7 | |
| - name: Set up Go | |
| uses: actions/setup-go@v7 | |
| with: | |
| go-version-file: core/go.mod | |
| cache-dependency-path: core/go.sum | |
| - name: Verify Go dependencies | |
| working-directory: core | |
| run: | | |
| go mod download | |
| go mod verify | |
| - name: Check Go formatting | |
| working-directory: core | |
| run: | | |
| unformatted="$(gofmt -l ./cmd ./internal)" | |
| if [[ -n "$unformatted" ]]; then | |
| echo "The following Go files need gofmt:" | |
| echo "$unformatted" | |
| exit 1 | |
| fi | |
| - name: Run Go vet | |
| working-directory: core | |
| run: go vet ./... | |
| - name: Run Go tests | |
| working-directory: core | |
| run: go test -short -race ./... | |
| - name: Set up Python | |
| uses: actions/setup-python@v7 | |
| with: | |
| python-version: "3.12" | |
| - name: Set up uv | |
| uses: astral-sh/setup-uv@v10.0.1 | |
| with: | |
| version: "0.11.14" | |
| enable-cache: true | |
| cache-dependency-glob: orchestrator/uv.lock | |
| - name: Install Python dependencies | |
| working-directory: orchestrator | |
| run: uv sync --locked --dev --python 3.12 | |
| - name: Run Python lint | |
| working-directory: orchestrator | |
| run: uv run ruff check defuzz_loop tests | |
| - name: Run Python type checks | |
| working-directory: orchestrator | |
| run: uv run mypy defuzz_loop | |
| - name: Run Python tests | |
| working-directory: orchestrator | |
| run: uv run pytest -q | |
| - name: Build Python package | |
| working-directory: orchestrator | |
| run: uv build |