I think the peaceiris action has fallen out of maintenance. We should investigate the official upload-pages-artifact action.
|
- if: github.event_name != 'pull_request' |
|
uses: peaceiris/[email protected] |
|
with: |
|
github_token: ${{ secrets.GITHUB_TOKEN }} |
|
publish_dir: target |
|
cname: typelevel.org |
I think the
peaceirisaction has fallen out of maintenance. We should investigate the officialupload-pages-artifactaction.typelevel.github.com/.github/workflows/ci.yml
Lines 25 to 30 in 3907b36