CI: Run RTLMeter when pushing to a 'ci-rtlmeter/**' branch
This enables running the RTLMeter workflow on forks by just pushing to a branch of this form, without having to go and manually trigger in the web UI.
This commit is contained in:
parent
aff85cef19
commit
464ef88193
|
|
@ -11,6 +11,8 @@ on:
|
||||||
- cron: '0 2 * * *' # Daily, starting at 02:00 UTC
|
- cron: '0 2 * * *' # Daily, starting at 02:00 UTC
|
||||||
pull_request:
|
pull_request:
|
||||||
types: [opened, synchronize, reopened, labeled, unlabeled]
|
types: [opened, synchronize, reopened, labeled, unlabeled]
|
||||||
|
push:
|
||||||
|
branches: ['ci-rtlmeter/**']
|
||||||
|
|
||||||
permissions:
|
permissions:
|
||||||
contents: read
|
contents: read
|
||||||
|
|
@ -35,7 +37,8 @@ jobs:
|
||||||
&& vars.ENABLE_SCHEDULED_JOBS == 'true') ||
|
&& vars.ENABLE_SCHEDULED_JOBS == 'true') ||
|
||||||
(github.event_name == 'pull_request'
|
(github.event_name == 'pull_request'
|
||||||
&& contains(github.event.pull_request.labels.*.name, 'pr: rtlmeter')) ||
|
&& contains(github.event.pull_request.labels.*.name, 'pr: rtlmeter')) ||
|
||||||
(github.event_name == 'workflow_dispatch')
|
(github.event_name == 'workflow_dispatch') ||
|
||||||
|
(github.event_name == 'push')
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
steps:
|
steps:
|
||||||
- name: Startup
|
- name: Startup
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue