File tree Expand file tree Collapse file tree 3 files changed +1424
-0
lines changed
Expand file tree Collapse file tree 3 files changed +1424
-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