File tree Expand file tree Collapse file tree 3 files changed +9
-4
lines changed
Expand file tree Collapse file tree 3 files changed +9
-4
lines changed Original file line number Diff line number Diff line change 1313 runs-on : ubuntu-latest
1414
1515 steps :
16- - uses : actions/checkout@v4
16+ - name : Checkout master
17+ uses : actions/checkout@v4
18+ with :
19+ ref : master
20+ persist-credentials : false
1721
1822 - name : Install pandoc
1923 run : |
2933 run : |
3034 git config --global user.name "YoEnte"
3135 git config --global user.email "anthonyroeder@live.de"
36+ git pull --rebase
3237 git add docs/index.rst
3338 git commit -m "docs: auto update index.rst" || exit 0
34- git push https://x-access-token:${{ secrets.PAT_PUSH_MASTER }}@github.com/software-challenge/player_python.git HEAD: master
39+ git push https://x-access-token:${{ secrets.PAT_PUSH_MASTER }}@github.com/software-challenge/player_python.git master
Original file line number Diff line number Diff line change 11[package ]
22name = " _socha"
3- version = " 4.3.5 "
3+ version = " 4.3.6 "
44edition = " 2021"
55
66[lib ]
Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ build-backend = "maturin"
44
55[project ]
66name = " socha"
7- version = " 4.3.5 "
7+ version = " 4.3.6 "
88authors = [
99 { name = " yoente" , email = " stu250140@mail.uni-kiel.de" },
1010 { name = " maxblan" , email = " stu222782@mail.uni-kiel.de" },
You can’t perform that action at this time.
0 commit comments