Skip to content

Commit

Permalink
fix: Set latest as default after push
Browse files Browse the repository at this point in the history
  • Loading branch information
frascuchon committed Jun 21, 2024
1 parent 744ce5c commit 241396e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/argilla.docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -55,8 +55,8 @@ jobs:
echo "${{ github.head_ref }}"

- run: |
pdm run mike set-default --push latest
pdm run mike deploy latest --push
pdm run mike set-default --push latest
if: github.ref == 'refs/heads/main'
- run: pdm run mike deploy dev --push
Expand Down

0 comments on commit 241396e

Please sign in to comment.