Skip to content

Commit

Permalink
doc: make main the page where doc points at instead of dev
Browse files Browse the repository at this point in the history
Signed-off-by: IonutMuthi <[email protected]>
  • Loading branch information
IonutMuthi committed Jan 20, 2025
1 parent 418cc1e commit e95c73e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/generate_doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name: Generate documentation
on:
push:
branches:
- dev
- main
pull_request:

jobs:
Expand Down Expand Up @@ -36,7 +36,7 @@ jobs:
deploy-doc:
runs-on: ubuntu-latest
needs: build-doc
if: github.ref == 'refs/heads/dev'
if: github.ref == 'refs/heads/main'

steps:
- run: |
Expand Down

0 comments on commit e95c73e

Please sign in to comment.