File tree 4 files changed +5
-5
lines changed
4 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ concurrency:
30
30
cancel-in-progress : false
31
31
32
32
jobs :
33
- build :
33
+ build_html :
34
34
runs-on : ubuntu-latest
35
35
steps :
36
36
- name : Checkout
72
72
name : github-pages
73
73
url : ${{ steps.deployment.outputs.page_url }}
74
74
runs-on : ubuntu-latest
75
- needs : build
75
+ needs : build_html
76
76
steps :
77
77
- name : Deploy to GitHub Pages
78
78
id : deployment
Original file line number Diff line number Diff line change 18
18
workflow_dispatch :
19
19
20
20
jobs :
21
- build :
21
+ validate_devcontainer :
22
22
runs-on : ubuntu-latest
23
23
steps :
24
24
- name : Checkout repository
Original file line number Diff line number Diff line change 18
18
workflow_dispatch :
19
19
20
20
jobs :
21
- build :
21
+ build_pdf :
22
22
runs-on : ubuntu-latest
23
23
steps :
24
24
- name : Checkout
Original file line number Diff line number Diff line change @@ -31,7 +31,7 @@ permissions:
31
31
id-token : write
32
32
33
33
jobs :
34
- build :
34
+ sync_exercise :
35
35
runs-on : ubuntu-latest
36
36
steps :
37
37
- name : checkout
You can’t perform that action at this time.
0 commit comments