@@ -102,46 +102,46 @@ jobs:
102
102
MILL_SONATYPE_PASSWORD : ${{ secrets.PUBLISH_PASSWORD }}
103
103
MILL_SONATYPE_USERNAME : ${{ secrets.PUBLISH_USER }}
104
104
105
- site :
106
- if : github.event_name != 'pull_request' && (github.ref == 'refs/heads/main' || github.ref == 'refs/tags/')
107
- needs : build
108
- runs-on : ubuntu-latest
109
- steps :
110
- - uses : coursier/setup-action@main
111
- with :
112
- jvm : temurin@21
113
- apps : scala-cli
114
- - uses : actions/checkout@main
115
- with :
116
- fetch-depth : 0
117
- fetch-tags : true
118
- - run : ./mill site.publishDocs
119
- - name : Setup Pages
120
- uses : actions/configure-pages@main
121
- - uses : actions/upload-artifact@main
122
- with :
123
- name : page
124
- path : out/site/publishDocs.dest
125
- if-no-files-found : error
126
-
127
- deploy :
128
- needs : site
129
- permissions :
130
- pages : write
131
- id-token : write
132
- environment :
133
- name : github-pages
134
- url : ${{ steps.deployment.outputs.page_url }}
135
- runs-on : ubuntu-latest
136
- steps :
137
- - uses : actions/download-artifact@main
138
- with :
139
- name : page
140
- path : .
141
- - uses : actions/configure-pages@main
142
- - uses : actions/upload-pages-artifact@main
143
- with :
144
- path : .
145
- - name : Deploy to GitHub Pages
146
- id : deployment
147
- uses : actions/deploy-pages@main
105
+ # site:
106
+ # if: github.event_name != 'pull_request' && (github.ref == 'refs/heads/main' || github.ref == 'refs/tags/')
107
+ # needs: build
108
+ # runs-on: ubuntu-latest
109
+ # steps:
110
+ # - uses: coursier/setup-action@main
111
+ # with:
112
+ # jvm: temurin@21
113
+ # apps: scala-cli
114
+ # - uses: actions/checkout@main
115
+ # with:
116
+ # fetch-depth: 0
117
+ # fetch-tags: true
118
+ # - run: ./mill site.publishDocs
119
+ # - name: Setup Pages
120
+ # uses: actions/configure-pages@main
121
+ # - uses: actions/upload-artifact@main
122
+ # with:
123
+ # name: page
124
+ # path: out/site/publishDocs.dest
125
+ # if-no-files-found: error
126
+
127
+ # deploy:
128
+ # needs: site
129
+ # permissions:
130
+ # pages: write
131
+ # id-token: write
132
+ # environment:
133
+ # name: github-pages
134
+ # url: ${{ steps.deployment.outputs.page_url }}
135
+ # runs-on: ubuntu-latest
136
+ # steps:
137
+ # - uses: actions/download-artifact@main
138
+ # with:
139
+ # name: page
140
+ # path: .
141
+ # - uses: actions/configure-pages@main
142
+ # - uses: actions/upload-pages-artifact@main
143
+ # with:
144
+ # path: .
145
+ # - name: Deploy to GitHub Pages
146
+ # id: deployment
147
+ # uses: actions/deploy-pages@main
0 commit comments