mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
Debug WIP:
This commit is contained in:
parent
5df61e611e
commit
100556e084
2 changed files with 2 additions and 2 deletions
2
.github/workflows/benchmark-cachegrind.yml
vendored
2
.github/workflows/benchmark-cachegrind.yml
vendored
|
@ -73,6 +73,7 @@ jobs:
|
||||||
with:
|
with:
|
||||||
repository: ${{ matrix.benchResultsRepo.name }}
|
repository: ${{ matrix.benchResultsRepo.name }}
|
||||||
ref: ${{ matrix.benchResultsRepo.branch }}
|
ref: ${{ matrix.benchResultsRepo.branch }}
|
||||||
|
token: ${{ secrets.BENCH_GITHUB_TOKEN }}
|
||||||
path: "./gh-pages"
|
path: "./gh-pages"
|
||||||
|
|
||||||
- name: Store ${{ matrix.bench.title }} result
|
- name: Store ${{ matrix.bench.title }} result
|
||||||
|
@ -87,7 +88,6 @@ jobs:
|
||||||
fail-on-alert: true
|
fail-on-alert: true
|
||||||
comment-on-alert: true
|
comment-on-alert: true
|
||||||
comment-always: true
|
comment-always: true
|
||||||
github-token: ${{ secrets.BENCH_GITHUB_TOKEN }}
|
|
||||||
|
|
||||||
- name: Push benchmark results
|
- name: Push benchmark results
|
||||||
if: github.event_name == 'push'
|
if: github.event_name == 'push'
|
||||||
|
|
2
.github/workflows/benchmark.yml
vendored
2
.github/workflows/benchmark.yml
vendored
|
@ -66,6 +66,7 @@ jobs:
|
||||||
with:
|
with:
|
||||||
repository: ${{ matrix.benchResultsRepo.name }}
|
repository: ${{ matrix.benchResultsRepo.name }}
|
||||||
ref: ${{ matrix.benchResultsRepo.branch }}
|
ref: ${{ matrix.benchResultsRepo.branch }}
|
||||||
|
token: ${{ secrets.BENCH_GITHUB_TOKEN }}
|
||||||
path: "./gh-pages"
|
path: "./gh-pages"
|
||||||
|
|
||||||
- name: Store ${{ matrix.bench.title }} result
|
- name: Store ${{ matrix.bench.title }} result
|
||||||
|
@ -80,7 +81,6 @@ jobs:
|
||||||
fail-on-alert: true
|
fail-on-alert: true
|
||||||
comment-on-alert: true
|
comment-on-alert: true
|
||||||
comment-always: true
|
comment-always: true
|
||||||
github-token: ${{ secrets.BENCH_GITHUB_TOKEN }}
|
|
||||||
|
|
||||||
- name: Push benchmark results
|
- name: Push benchmark results
|
||||||
if: github.event_name == 'push'
|
if: github.event_name == 'push'
|
||||||
|
|
Loading…
Add table
Reference in a new issue