File tree 1 file changed +45
-0
lines changed
1 file changed +45
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Publish slides
2
+
3
+ on :
4
+ # Runs on pushes targeting the default branch
5
+ push :
6
+ branches : ["main"]
7
+
8
+ # Allows you to run this workflow manually from the Actions tab
9
+ workflow_dispatch :
10
+
11
+ # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
12
+ permissions :
13
+ contents : read
14
+ pages : write
15
+ id-token : write
16
+
17
+ # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
18
+ # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
19
+ concurrency :
20
+ group : " pages"
21
+ cancel-in-progress : false
22
+
23
+ jobs :
24
+ # Single deploy job since we're just deploying
25
+ deploy :
26
+ environment :
27
+ name : github-pages
28
+ url : ${{ steps.deployment.outputs.page_url }}
29
+ runs-on : ubuntu-latest
30
+ steps :
31
+ - name : Checkout
32
+ uses : actions/checkout@v4
33
+ - name : Setup Pages
34
+ uses : actions/configure-pages@v4
35
+ - name : Package files
36
+ run : |
37
+ mkdir public && \
38
+ cp slides/html/workshop.slides.html public/index.html;
39
+ - name : Upload artifact
40
+ uses : actions/upload-pages-artifact@v3
41
+ with :
42
+ path : public
43
+ - name : Deploy to GitHub Pages
44
+ id : deployment
45
+ uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments