File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ name : CI
2+
3+ on :
4+ release :
5+ types :
6+ - published
7+
8+ permissions :
9+ contents : write
10+
11+ jobs :
12+ ci :
13+ runs-on : ubuntu-latest
14+
15+ steps :
16+ - name : Checkout repo
17+ uses : actions/checkout@v4
18+
19+ - name : Setup Python 3.14
20+ uses : actions/setup-python@v5
21+ with :
22+ python-version : " 3.14"
23+
24+ - name : Install dependencies
25+ run : pip install -r requirements.txt
26+
27+ - name : Run application
28+ run : python main.py
29+
30+ post-ci :
31+ runs-on : ubuntu-latest
32+ needs : ci
33+ if : always()
34+
35+ steps :
36+ - name : Checkout repo
37+ uses : actions/checkout@v4
38+
39+ - name : Write result
40+ run : |
41+ mkdir -p .github
42+
43+ if [ "${{ needs.ci.result }}" = "success" ]; then
44+ echo "Ok" > .github/ci-results.txt
45+ else
46+ echo "Fallito" > .github/ci-results.txt
47+ fi
48+
49+ - name : Commit and push
50+ run : |
51+ git config user.name "github-actions[bot]"
52+ git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
53+
54+ git add .github/ci-results.txt
55+ git diff --cached --quiet || git commit -m "Update CI results"
56+ git push
You can’t perform that action at this time.
0 commit comments