luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Enhancement: Removed trigger workflow on PR for benchmark related workflows

Browse source
This commit is contained in:
Allan Jeremy 2022-06-09 09:04:08 +03:00
parent 1bd380a5b4
commit e13ec7cea9
2 changed files with 0 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.github/workflows/benchmark-cachegrind.yml vendored
View file

@ -1,14 +1,6 @@
name: Luau Benchmarks (CacheGrind) name: Luau Benchmarks (CacheGrind)
on: on:
pull_request:
paths-ignore:
- "docs/**"
- "papers/**"
- "rfcs/**"
- "*.md"
- "prototyping/**"
push: push:
branches: branches:
- master - master
@ -90,7 +82,6 @@ jobs:
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Push benchmark results - name: Push benchmark results
if: github.event_name == 'push'
run: | run: |
echo "Pushing benchmark results..." echo "Pushing benchmark results..."
cd gh-pages cd gh-pages

8
.github/workflows/benchmark.yml vendored
View file

@ -1,13 +1,6 @@
name: Luau Benchmarks name: Luau Benchmarks
on: on:
pull_request:
paths-ignore:
- "docs/**"
- "papers/**"
- "rfcs/**"
- "*.md"
- "prototyping/**"
push: push:
branches: branches:
- master - master
@ -83,7 +76,6 @@ jobs:
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Push benchmark results - name: Push benchmark results
if: github.event_name == 'push'
run: | run: |
echo "Pushing benchmark results..." echo "Pushing benchmark results..."
cd gh-pages cd gh-pages