Skip to content

Oxidize prove_rpc.sh #2405

Oxidize prove_rpc.sh

Oxidize prove_rpc.sh #2405

Workflow file for this run

--- # Add labels to the PR
name: "Pull Request Labeler"
on:
- pull_request_target
jobs:
labeler:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/labeler@v5
with:
# Allow to remove labels that are no longer relevant when new changes are pushed.
sync-labels: true