Quadratic costing for integer division functions #7550
This file contains 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: Benchmark | |
| on: | |
| issue_comment: | |
| types: [created] | |
| jobs: | |
| benchmark: | |
| runs-on: [self-hosted, plutus-benchmark] | |
| permissions: | |
| pull-requests: write | |
| if: | | |
| startsWith(github.event.comment.body, '/benchmark') && | |
| github.event.issue.pull_request | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| # We need at least one commit before master to compare against | |
| fetch-depth: 5 | |
| - name: React with Rocket | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| github.rest.reactions.createForIssueComment({ | |
| owner: context.issue.owner, | |
| repo: context.issue.repo, | |
| comment_id: context.payload.comment.id, | |
| content: "rocket" | |
| }); | |
| - name: Extract Benchmark Name | |
| id: extract-benchmark | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const regex = /^\/benchmark\s*(.*?)\s*$/; | |
| const comment = context.payload.comment.body; | |
| const match = comment.match(regex) | |
| if (match !== null && match.length == 2) | |
| core.setOutput('benchmark', match[1]); | |
| else | |
| core.setFailed(`Unable to extract benchmark name from ${comment}`); | |
| - name: Extract Comment Branch | |
| id: extract-branch | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| async function isPullRequest() { | |
| const result = await github.rest.issues.get({ | |
| owner: context.issue.owner, | |
| repo: context.issue.repo, | |
| issue_number: context.issue.number | |
| }); | |
| return !!result.data.pull_request; | |
| } | |
| async function getCommentHeadRef() { | |
| const query = ` | |
| query pullRequestDetails($repo:String!, $owner:String!, $number:Int!) { | |
| repository(name: $repo, owner: $owner) { | |
| pullRequest(number: $number) { | |
| headRef { | |
| name | |
| } | |
| } | |
| } | |
| }`; | |
| const result = await github.graphql(query, { | |
| owner: context.issue.owner, | |
| repo: context.issue.repo, | |
| number: context.issue.number | |
| }); | |
| return result.repository.pullRequest.headRef.name; | |
| } | |
| try { | |
| if (!await isPullRequest()) { | |
| core.setFailed("Comment is not on a pull request"); | |
| } else { | |
| core.setOutput("head_ref", await getCommentHeadRef()); | |
| } | |
| } catch (error) { | |
| core.setFailed(`Error: ${error}`); | |
| } | |
| - name: Publish Link To Action Run | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| async function getJobUrl() { | |
| return `https://github.com/${context.issue.owner}/${context.issue.repo}/actions/runs/${context.runId}`; | |
| } | |
| await github.rest.issues.createComment({ | |
| owner: context.issue.owner, | |
| repo: context.issue.repo, | |
| issue_number: context.issue.number, | |
| body: `Click [here](${await getJobUrl()}) to check the status of your benchmark.` | |
| }); | |
| - name: Run | |
| run: | | |
| nix develop --no-warn-dirty --accept-flake-config --command bash ./scripts/ci-plutus-benchmark.sh | |
| env: | |
| BENCHMARK_NAME: ${{ steps.extract-benchmark.outputs.benchmark }} | |
| PR_NUMBER: ${{ github.event.issue.number }} | |
| PR_BRANCH: ${{ steps.extract-branch.outputs.head_ref }} | |
| - name: Publish Results | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const fs = require("fs"); | |
| await github.rest.issues.createComment({ | |
| owner: context.issue.owner, | |
| repo: context.issue.repo, | |
| issue_number: context.issue.number, | |
| // bench-compare-result.log is generated by ci-plutus-benchmark.sh | |
| body: fs.readFileSync("bench-compare-result.log", "utf-8").toString() | |
| }); |