Skip to content

Commit c591102

Browse files
build: update workflows and sort badges on markdown pages
1 parent 6eeb7d9 commit c591102

12 files changed

Lines changed: 543 additions & 589 deletions

File tree

.github/workflows/auto_request_review.yml

Lines changed: 0 additions & 18 deletions
This file was deleted.

.github/workflows/ci-cd.yml

Lines changed: 0 additions & 98 deletions
This file was deleted.

.github/workflows/render_badges.yml

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,24 @@
1-
name: CI
1+
name: Render Badges
22

3-
on:
3+
on:
44
pull_request:
55
branches:
66
- main
77
workflow_dispatch:
8-
9-
108

119
permissions:
1210
id-token: write
1311
contents: write
14-
pull-requests: write
1512

1613
concurrency:
17-
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
14+
group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
1815
cancel-in-progress: true
1916

2017
jobs:
2118
render_badges:
2219
runs-on: ubuntu-latest
2320
steps:
24-
- uses: actions/checkout@v4
21+
- uses: actions/checkout@v6
2522
name: Check out repository to the runner
2623
with:
2724
ref: ${{ github.head_ref }}
@@ -30,7 +27,7 @@ jobs:
3027
- uses: webfactory/ssh-agent@v0.9.0
3128
with:
3229
ssh-private-key: ${{ secrets.FACSIMILAB_BOT_SSHKEY }}
33-
30+
3431
- name: render, commit, and push
3532
run: |
3633
bash render_badges.sh
@@ -49,4 +46,4 @@ jobs:
4946
fi
5047
5148
52-
git push
49+
git push

0 commit comments

Comments
 (0)