docs: fix decision_logs buffer_size_limit_events default in prose (#8… #540
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: Benchmarks | |
| on: | |
| workflow_dispatch: {} | |
| push: | |
| branches: [main] | |
| permissions: | |
| contents: read | |
| jobs: | |
| # Check what types of changes this PR contains | |
| check-changes: | |
| name: Check what files changed | |
| runs-on: ubuntu-24.04 | |
| outputs: | |
| go: ${{ steps.changes.outputs.go }} | |
| bench: ${{ steps.changes.outputs.bench }} | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| with: | |
| fetch-depth: 0 | |
| persist-credentials: false | |
| - name: Download OPA | |
| uses: open-policy-agent/setup-opa@b2b258e089860efaadaaf71bf6e3aecb4a3eeff1 # v2.4.0 | |
| with: | |
| version: edge | |
| - name: Check for file changes | |
| id: changes | |
| env: | |
| BEFORE_SHA: ${{ github.event.before }} | |
| CURRENT_SHA: ${{ github.event.after }} | |
| run: | | |
| set -e | |
| # Default to running all checks | |
| echo "go=true" >> $GITHUB_OUTPUT | |
| echo "Comparing $BEFORE_SHA with $CURRENT_SHA" | |
| git diff --name-only "$BEFORE_SHA" "$CURRENT_SHA" \ | |
| | jq -R '{filename: .}' | jq -s '.' > changed_files.json | |
| if [ ! -s changed_files.json ] || [ "$(cat changed_files.json)" = "[]" ]; then | |
| echo "Warning: No changed files found" | |
| exit 0 | |
| fi | |
| echo "Changed files:" | |
| jq -r '.[].filename' changed_files.json | |
| opa eval \ | |
| --data build/policy/pr-check/pr_check.rego \ | |
| --input changed_files.json \ | |
| --format pretty \ | |
| 'data.policy["pr-check"]' > opa_result.json | |
| go_result=$(jq -r '.changes.go // false' opa_result.json) | |
| bench_result=$(jq -c '.changes.bench // []' opa_result.json) | |
| echo "go=${go_result}" >> $GITHUB_OUTPUT | |
| echo "bench=${bench_result}" >> $GITHUB_OUTPUT | |
| echo "Final outputs:" | |
| echo " go=${go_result}" | |
| echo " bench=${bench_result}" | |
| benchmarks: | |
| permissions: | |
| contents: write # we'll push to the `benchmarks` branch | |
| name: Benchmarks | |
| needs: check-changes | |
| if: ${{ needs.check-changes.outputs.go == 'true' }} | |
| uses: ./.github/workflows/run-benchmarks.yaml | |
| with: | |
| publish: true | |
| publish_branch: benchmarks | |
| regression-check: | |
| permissions: | |
| contents: read | |
| pull-requests: write | |
| name: Check for regressions | |
| runs-on: ubuntu-24.04 | |
| needs: [check-changes] | |
| if: ${{ needs.check-changes.outputs.bench != '' && needs.check-changes.outputs.bench != '[]' }} | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| with: | |
| fetch-depth: 1 | |
| persist-credentials: false | |
| - name: Fetch base commit | |
| env: | |
| BEFORE_SHA: ${{ github.event.before }} | |
| run: git fetch --depth=1 origin "$BEFORE_SHA" | |
| - uses: actions/setup-go@924ae3a1cded613372ab5595356fb5720e22ba16 # v6.5.0 | |
| with: | |
| go-version-file: .go-version | |
| - name: Install tools | |
| run: cd build/tools && go install tool | |
| - name: Run benchmarks and comment on PR | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| COMMIT_SHA: ${{ github.sha }} | |
| BEFORE_SHA: ${{ github.event.before }} | |
| AFTER_SHA: ${{ github.event.after }} | |
| BENCH_PKGS: ${{ needs.check-changes.outputs.bench }} | |
| run: bash build/bench-comment.sh | |
| notebook: | |
| permissions: | |
| contents: write # we'll push to the `benchmarks` branch | |
| name: update notebook | |
| runs-on: ubuntu-24.04 | |
| needs: [check-changes, benchmarks] # force sequential commits for notebook and benchmark results | |
| if: ${{ needs.check-changes.outputs.go == 'true' }} | |
| steps: | |
| - uses: open-policy-agent/setup-opa@b2b258e089860efaadaaf71bf6e3aecb4a3eeff1 # v2.4.0 | |
| - name: Check out code | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| with: | |
| ref: benchmarks | |
| persist-credentials: true | |
| - name: Setup Java | |
| uses: actions/setup-java@1bcf9fb12cf4aa7d266a90ae39939e61372fe520 # v5.4.0 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '21' | |
| - name: Setup Clojure | |
| uses: jdx/mise-action@e6a8b3978addb5a52f2b4cd9d91eafa7f0ab959d # v4.2.0 | |
| with: | |
| install: true | |
| cache: true | |
| mise_toml: | | |
| [tools] | |
| clojure = "1.12.5.1638" | |
| - name: Cache Clojure dependencies | |
| uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0 | |
| with: | |
| path: | | |
| ~/.m2/repository | |
| ~/.gitlibs | |
| key: clj-${{ hashFiles('clay/deps.edn') }} | |
| restore-keys: clj- | |
| - name: Clean previous output | |
| run: rm -rf docs/*.html | |
| - name: update notebook | |
| run: | | |
| clojure -J-Xss32m -M -m opa-bench.generate | |
| working-directory: clay/ | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: commit if changed | |
| working-directory: docs/ | |
| run: | | |
| if ! git diff-index --quiet HEAD -- .; then | |
| git config --local user.email "${GITHUB_ACTOR}@users.noreply.github.com" | |
| git config --local user.name "${GITHUB_ACTOR}" | |
| git add -f . | |
| git diff --staged --name-only | |
| git commit -m "benchmarks: update notebook for ${GITHUB_SHA}" | |
| git push origin benchmarks | |
| else | |
| echo "no changes, no commit" | |
| fi |