Unnamed repository; edit this file 'description' to name the repository.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
name: Generate lints and feature flags

on:
  workflow_dispatch:
  schedule:
    - cron: '50 23 * * 6'

defaults:
  run:
    shell: bash

jobs:
  lints-gen:
    name: Generate lints
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v6

      - name: Install nightly
        run: rustup default nightly

      - name: Generate lints/feature flags
        run: cargo codegen lint-definitions

      - name: Submit PR
        uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
        with:
          commit-message: "internal: update generated lints"
          branch: "ci/gen-lints"
          delete-branch: true
          sign-commits: true
          title: "Update generated lints"
          body: "Weekly lint updates for `crates/ide-db/src/generated/lints.rs`."
          labels: "A-infra"