mirror of
https://github.com/lotabout/skim.git
synced 2026-09-12 00:06:21 -04:00
35a61fd147
* feat: typo resistant matcher using frizbee from blink.cmp * chore: generate completions & manpage * fix: back to stable rustc using fork * chore: update lockfile * chore: feature gate * ci: update actions * chore: generate completions & manpage * ci: use rustup directly * ci: fix feature name --------- Co-authored-by: Skim bot <skim-bot@skim-rs.github.io>
56 lines
1.7 KiB
YAML
56 lines
1.7 KiB
YAML
name: "Pull Requests"
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
- edited
|
|
- synchronize
|
|
- labeled
|
|
- unlabeled
|
|
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
pull-requests: write
|
|
steps:
|
|
- uses: thehanimo/pr-title-checker@v1.4.3
|
|
with:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
pass_on_octokit_error: false
|
|
configuration_path: .github/pr-title-checker-config.json
|
|
generate-files:
|
|
runs-on: ubuntu-22.04
|
|
permissions:
|
|
contents: write
|
|
steps:
|
|
- uses: actions/create-github-app-token@v1
|
|
id: app-token
|
|
with:
|
|
app-id: ${{ vars.SKIM_RS_BOT_APP_ID }}
|
|
private-key: ${{ secrets.SKIM_RS_BOT_PRIVATE_KEY }}
|
|
- name: Checkout Git repo
|
|
uses: actions/checkout@v6
|
|
with:
|
|
fetch-depth: 0
|
|
ref: ${{github.event.pull_request.head.ref}}
|
|
repository: ${{github.event.pull_request.head.repo.full_name}}
|
|
token: ${{ steps.app-token.outputs.token }}
|
|
- run: rustup toolchain install
|
|
- name: Cache
|
|
uses: Swatinem/rust-cache@v2
|
|
- name: Generate files
|
|
run: |
|
|
cargo run -- --man > man/man1/sk.1
|
|
cargo run -- --shell bash > shell/completion.bash
|
|
cargo run -- --shell zsh > shell/completion.zsh
|
|
cargo run -- --shell fish > shell/completion.fish
|
|
cargo run -- --shell nushell > shell/completion.nu
|
|
- name: Push modified files
|
|
run: |
|
|
git branch -v
|
|
git config user.email "skim-bot@skim-rs.github.io"
|
|
git config user.name "Skim bot"
|
|
git commit -am 'chore: generate completions & manpage' || exit 0
|
|
git push
|