Rename kernel params from param/params to kparam/kparams #191
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: Claude Code | |
| on: | |
| issue_comment: | |
| types: [created] | |
| pull_request_review_comment: | |
| types: [created] | |
| issues: | |
| types: [opened, assigned] | |
| pull_request_review: | |
| types: [submitted] | |
| jobs: | |
| claude: | |
| if: | | |
| (github.event_name == 'issue_comment' && contains(github.event.comment.body, '@claude')) || | |
| (github.event_name == 'pull_request_review_comment' && contains(github.event.comment.body, '@claude')) || | |
| (github.event_name == 'pull_request_review' && contains(github.event.review.body, '@claude')) || | |
| (github.event_name == 'issues' && (contains(github.event.issue.body, '@claude') || contains(github.event.issue.title, '@claude'))) | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| pull-requests: read | |
| issues: read | |
| id-token: write | |
| actions: read # Required for Claude to read CI results on PRs | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 1 | |
| - uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: 5.3.x | |
| dune-cache: true | |
| allow-prerelease-opam: true | |
| - name: Setup project | |
| run: | | |
| opam pin -n . | |
| opam install . -y --deps-only --with-test --with-doc | |
| - name: Run Claude Code | |
| id: claude | |
| uses: anthropics/claude-code-action@beta | |
| with: | |
| claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }} | |
| # This is an optional setting that allows Claude to read CI results on PRs | |
| additional_permissions: | | |
| actions: read | |
| # Optional: Specify model (defaults to Claude Sonnet, uncomment for Claude Opus 4.1) | |
| # model: "claude-opus-4-1-20250805" | |
| # Optional: Customize the trigger phrase (default: @claude) | |
| # trigger_phrase: "@claude-opus" | |
| # Optional: Trigger when specific user is assigned to an issue | |
| assignee_trigger: "claude-bot" | |
| # Allow Claude to run all opam and dune commands | |
| allowed_tools: "Bash(opam:*),Bash(dune:*),Bash(git checkout:*),Bash(find:*),Bash(grep:*),Bash(ls:*),Bash(cat:*),Bash(mv:*),Bash(cp:*),Bash(cc:*),Bash(git check-ignore:*),Bash(git config:*)" | |
| # Optional: Add custom instructions for Claude to customize its behavior for your project | |
| custom_instructions: | | |
| The OCANNL build system and dependencies are already installed; | |
| you can verify this by running `opam switch`, and `dune build @check` or `opam exec -- dune build @check`. | |
| # Optional: Custom environment variables for Claude | |
| # claude_env: | | |
| # NODE_ENV: test | |