File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1111permissions :
1212 contents : write
1313
14+ concurrency :
15+ group : deploy-gh-pages
16+ cancel-in-progress : false
17+
1418jobs :
1519 build :
1620 runs-on : ubuntu-latest
3337 git config user.name openssl-machine
3438 git config user.email openssl-machine@openssl.org
3539 git switch gh-pages
36- until git push origin gh-pages; do git pull --rebase origin gh-pages; done
40+ git push --force-with-lease origin gh-pages
Original file line number Diff line number Diff line change @@ -159,4 +159,4 @@ cython_debug/
159159# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
160160# and can be added to the global gitignore or merged into this file. For a more nuclear
161161# option (not recommended) you can uncomment the following to ignore the entire idea folder.
162- # .idea/
162+ .idea /
You can’t perform that action at this time.
0 commit comments