File tree Expand file tree Collapse file tree 5 files changed +2791
-0
lines changed Expand file tree Collapse file tree 5 files changed +2791
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Process result-* Branch
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - " result-*"
7
+
8
+ jobs :
9
+ test :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - name : Check out repository
13
+ uses : actions/checkout@v4
14
+
15
+ - name : List files
16
+ run : ls -R
17
+
18
+ - name : Upload results
19
+ uses : actions/upload-artifact@v4
20
+ with :
21
+ name : ${{ github.ref_name}}
22
+ path : |
23
+ *.log
24
+ *.rc
25
+ if-no-files-found : error
26
+
27
+ - name : Switch to master
28
+ run : |
29
+ git fetch origin +refs/heads/master:refs/remotes/origin/master
30
+ git checkout master
31
+ git checkout ${{ github.ref_name }} -- '*.rc'
32
+
33
+ - name : Set up Python
34
+ uses : actions/setup-python@v5
35
+ with :
36
+ python-version : ' ^3.8'
37
+
38
+ - name : Install dependencies
39
+ run : |
40
+ python -m pip install --upgrade pip wheel
41
+ python -m pip install --upgrade -r requirements.txt
42
+
43
+ - name : Update badges
44
+ run : |
45
+ git config --global user.email "github@nil.nil"
46
+ git config --global user.name "GitHub Actions"
47
+
48
+ python update.py ${{ github.ref_name }} *.rc
49
+ git rm -f *.rc
50
+ git add status.json badges
51
+ if ! git diff --cached --quiet
52
+ then git commit -m 'Update for ${{ github.ref_name }}'
53
+ git push
54
+ else echo '[INFO] No changes to commit'
55
+ fi
56
+ git branch -D ${{ github.ref_name }}
57
+ git push origin :refs/heads/${{ github.ref_name }}
You can’t perform that action at this time.
0 commit comments