Skip to content

Commit

Permalink
Merge branch 'main' into beta/1158-merge3
Browse files Browse the repository at this point in the history
  • Loading branch information
beta-ziliani committed Jan 13, 2025
2 parents a5fa1e2 + 6389361 commit 2edcb3e
Show file tree
Hide file tree
Showing 1,015 changed files with 40,116 additions and 10,813 deletions.
5 changes: 5 additions & 0 deletions .changeset/young-bottles-beam.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
---
"@slang-private/codegen-runtime-npm-package": patch
---

Change `ParseOutput` and `File.tree` to return a `NonTerminal` instead of a `Node`
14 changes: 10 additions & 4 deletions .github/workflows/benchmark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,13 @@ name: "benchmark"
on:
# Run using manual triggers from GitHub UI:
# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
workflow_dispatch: {}
workflow_dispatch:
inputs:
dryRun:
description: "Attempt a local run and report results here, without updating the bencher dashboard."
type: "boolean"
required: true
default: true

# Run on pushes to 'main' branch:
push:
Expand All @@ -19,8 +25,8 @@ jobs:
benchmark:
runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)

# Only run on the main repo (not forks):
if: "${{ github.repository == 'NomicFoundation/slang' }}"
# Only run on the main repo (not forks), unless it is a dry run:
if: "${{ github.repository == 'NomicFoundation/slang' || inputs.dryRun == true }}"

steps:
- name: "Checkout Repository"
Expand Down Expand Up @@ -48,7 +54,7 @@ jobs:
- name: "infra perf benchmark"
uses: "./.github/actions/devcontainer/run"
with:
runCmd: "./scripts/bin/infra perf benchmark"
runCmd: "./scripts/bin/infra perf benchmark ${{ inputs.dryRun == true && '--dry-run' || '' }}"
env: |
BENCHER_API_TOKEN=${{ secrets.BENCHER_API_TOKEN }}
Expand Down
Loading

0 comments on commit 2edcb3e

Please sign in to comment.