File tree Expand file tree Collapse file tree 1 file changed +6
-24
lines changed
Expand file tree Collapse file tree 1 file changed +6
-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 88a180ba0 # 48
45+ git checkout 591affaf7 # 24
46+ #git checkout 88a180ba0 # 48
47+ #git checkout 7905ff7d7 # 72
4348 #git checkout 2631811e33ed231d785a06c1fd6d4a7e303d22f2 # 95
4449 popd
4550
@@ -125,26 +130,3 @@ jobs:
125130 path : ./dist/
126131 compression-level : 1
127132
128- # Deployment job
129- deploy :
130- environment :
131- name : github-pages
132- url : ${{ steps.deployment.outputs.page_url }}
133- runs-on : ubuntu-latest
134- needs : build
135- steps :
136- - name : Setup Pages
137- uses : actions/configure-pages@v5
138-
139- - name : Download a single artifact
140- uses : actions/download-artifact@v4
141- with :
142- name : site-artifact
143- path : ./_site/
144-
145- - name : Upload artifact
146- uses : actions/upload-pages-artifact@v3
147-
148- - name : Deploy to GitHub Pages
149- id : deployment
150- uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments