Skip to content

[Merged by Bors] - chore: adaptations for nightly-2024-10-07 #2122

[Merged by Bors] - chore: adaptations for nightly-2024-10-07

[Merged by Bors] - chore: adaptations for nightly-2024-10-07 #2122

Workflow file for this run

name: Check workflows
on:
pull_request:
paths:
- '.github/**'
merge_group:
jobs:
actionlint:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: suggester / actionlint
uses: reviewdog/action-actionlint@v1
with:
tool_name: actionlint
fail_on_error: true
check_build_yml:
name: check workflows generated by build.in.yml
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: update workflows
run: |
cd .github/workflows/
./mk_build_yml.sh
- name: suggester / build.in.yml
uses: reviewdog/action-suggester@v1
with:
tool_name: mk_build_yml.sh
fail_on_error: true