File tree Expand file tree Collapse file tree 1 file changed +7
-24
lines changed
Expand file tree Collapse file tree 1 file changed +7
-24
lines changed Original file line number Diff line number Diff line change 55 push :
66 branches :
77 - main
8+ pull_request :
9+ branches :
10+ - main
811
912 # Allows you to run this workflow manually from the Actions tab
1013 workflow_dispatch :
3942
4043 # Temporary workaround for the broken playground
4144 pushd slang
42- git checkout 2631811e33ed231d785a06c1fd6d4a7e303d22f2
45+ #git checkout 591affaf7 # 24
46+ git checkout 88a180ba0 # 48
47+ #git checkout 7905ff7d7 # 72
48+ #git checkout 2631811e33ed231d785a06c1fd6d4a7e303d22f2 # 95
4349 popd
4450
4551 popd
@@ -124,26 +130,3 @@ jobs:
124130 path : ./dist/
125131 compression-level : 1
126132
127- # Deployment job
128- deploy :
129- environment :
130- name : github-pages
131- url : ${{ steps.deployment.outputs.page_url }}
132- runs-on : ubuntu-latest
133- needs : build
134- steps :
135- - name : Setup Pages
136- uses : actions/configure-pages@v5
137-
138- - name : Download a single artifact
139- uses : actions/download-artifact@v4
140- with :
141- name : site-artifact
142- path : ./_site/
143-
144- - name : Upload artifact
145- uses : actions/upload-pages-artifact@v3
146-
147- - name : Deploy to GitHub Pages
148- id : deployment
149- uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments