Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Infra] Fix docs deployment on new tag #98

Merged
merged 15 commits into from
Oct 16, 2023
Merged

[Infra] Fix docs deployment on new tag #98

Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
613e3e7
debug action
nmheim Oct 16, 2023
9074253
add jobs
nmheim Oct 16, 2023
74b2c6c
rm dep
nmheim Oct 16, 2023
a9bfde6
trigger action
nmheim Oct 16, 2023
f0044df
not only on tag
nmheim Oct 16, 2023
f24bc86
rebase
nmheim Oct 16, 2023
666a106
debub versino
nmheim Oct 16, 2023
7678e93
fetch/pull
nmheim Oct 16, 2023
68c9bbe
write permissions?
nmheim Oct 16, 2023
91a3fd4
manually checkout
nmheim Oct 16, 2023
33aabbd
dont pull
nmheim Oct 16, 2023
e296630
fetch tag'
nmheim Oct 16, 2023
80b56d8
dont checkout
nmheim Oct 16, 2023
fa1ab4a
ignore
nmheim Oct 16, 2023
6660ea3
fetch
nmheim Oct 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/test_fast.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -104,4 +104,5 @@ jobs:
run: |
git config user.name "GitHub Actions"
git config user.email "[email protected]"
git fetch origin gh-pages
hatch -v run docs:mike deploy --push --update-aliases ${{ github.ref_name }} latest