Skip to content

Commit

Permalink
Merge pull request #805 from input-output-hk/ch1bo/optimize-ci-docs
Browse files Browse the repository at this point in the history
Publish versioned docs
  • Loading branch information
ch1bo committed Apr 4, 2023
2 parents df3f848 + 9bbf4fa commit a6010ad
Showing 1 changed file with 0 additions and 13 deletions.
13 changes: 0 additions & 13 deletions .github/workflows/publish-docs.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -31,20 +31,7 @@ jobs:
name: docs-unstable
path: docs/public/unstable

# TODO: remove debugging steps

- name: DEBUG contents
run: |
find docs/
- name: DEBUG contents
uses: actions/upload-artifact@v3
with:
name: head-protocol
path: docs/public

- name: 🚢 Publish Documentation
if: github.event_name == 'push'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN || github.token }}
Expand Down

0 comments on commit a6010ad

Please sign in to comment.