-
Notifications
You must be signed in to change notification settings - Fork 0
74 lines (66 loc) · 2.11 KB
/
format.yml
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
name: Format
on: [push, pull_request]
jobs:
# windows-format:
# runs-on: windows-latest
# steps:
# - name: Checkout
# uses: actions/checkout@v4
#
# - name: Install winget
# uses: Cyberboss/install-winget@v1
# with:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
#
# - name: Install dependencies
# run: ./scripts/install-deps-windows.ps1
#
# - name: Format
# run: ./scripts/format.ps1 --dry-run
#
# linux-format:
# runs-on: ubuntu-latest
# steps:
# - name: Checkout
# uses: actions/checkout@v4
#
# - name: Install dependencies
# run: sudo ./scripts/install-deps-linux.sh
#
# - name: Format
# run: ./scripts/format.sh --dry-run
#
# macos-format:
# runs-on: macos-latest
# steps:
# - name: Checkout
# uses: actions/checkout@v4
#
# - name: Install dependencies
# run: ./scripts/install-deps-macos.sh
#
# - name: Format
# run: ./scripts/format.sh --dry-run
auto-format:
runs-on: ubuntu-latest
if: ${{ github.event.pull_request.head.repo.full_name == github.repository && github.event_name == 'pull_request' }}
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: ${{ github.head_ref }}
- name: Install dependencies
run: sudo ./scripts/install-deps-linux.sh
- name: Format
run: ./scripts/format.sh
- name: Check for modified files
id: git-check
run: echo "modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi)" >> $GITHUB_OUTPUT
- name: Push changes
if: steps.git-check.outputs.modified == 'true'
run: |
git config --global user.name 'Github Actions'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git remote set-url origin "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}"
git commit -am "FORMAT-AUTO: automatic format on pull request #${{ github.event.number }}"
git push