File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 66 push :
77 branches : ["main"]
88
9+ permissions :
10+ contents : read
11+
912jobs :
1013 build :
1114 name : Build and Test
@@ -41,10 +44,32 @@ jobs:
4144 path : pr_number.txt
4245 if-no-files-found : error
4346 retention-days : 30
44- - name : Publish to GitHub Pages
47+ - name : Add CNAME for custom domain
48+ if : github.event_name == 'push'
49+ run : echo "typelevel.org" > target/CNAME
50+ - name : Upload GitHub Pages artifact
4551 if : github.event_name == 'push'
46- uses : peaceiris/ actions-gh- pages@v4.0.0
52+ uses : actions/upload- pages-artifact@v3
4753 with :
48- github_token : ${{ secrets.GITHUB_TOKEN }}
49- publish_dir : target
50- cname : typelevel.org
54+ path : target
55+ # we need to include the .well-known directory
56+ include-hidden-files : true
57+
58+ deploy :
59+ name : Deploy to GitHub Pages
60+ if : github.event_name == 'push'
61+ needs : build
62+ runs-on : ubuntu-latest
63+ concurrency :
64+ group : " pages"
65+ cancel-in-progress : false
66+ permissions :
67+ pages : write
68+ id-token : write
69+ environment :
70+ name : github-pages
71+ url : ${{ steps.deployment.outputs.page_url }}
72+ steps :
73+ - name : Deploy to GitHub Pages
74+ id : deployment
75+ uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments