Skip to content

Commit

Permalink
Rename benchmarks job
Browse files Browse the repository at this point in the history
  • Loading branch information
gpmayorga authored Nov 8, 2023
1 parent 7d486b7 commit 44012ad
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name: Benchmark PR
name: Run benchmarks
# ToDo: add an arbitrary label to keep this cache separate from the builds
on:
workflow_call:
workflow_dispatch:
# Manually triggered by an authorized repo contributor.
push:
branches: main # To build the "benchmark-only" cache
Expand Down

0 comments on commit 44012ad

Please sign in to comment.