File tree Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change 15
15
packages : write
16
16
17
17
steps :
18
+ - name : Get Actions user id
19
+ id : get_uid
20
+ run : |
21
+ actions_user_id=`id -u $USER`
22
+ echo $actions_user_id
23
+ echo "uid=$actions_user_id" >> $GITHUB_OUTPUT
24
+
18
25
- name : checkout production
19
26
uses : actions/checkout@v2
20
27
with :
24
31
run : |
25
32
./build_html.sh
26
33
34
+ - name : Reset ownership of workspace after build
35
+ uses : peter-murray/reset-workspace-ownership-action@v1
36
+ with :
37
+ user_id : ${{ steps.get_uid.outputs.uid }}
38
+
27
39
# Push the book's HTML to github-pages
28
40
- name : GitHub Pages action
29
41
43
55
run : |
44
56
./build_html.sh
45
57
58
+ - name : Reset ownership of workspace after build
59
+ uses : peter-murray/reset-workspace-ownership-action@v1
60
+ with :
61
+ user_id : ${{ steps.get_uid.outputs.uid }}
62
+
46
63
# Push the book's HTML to github-pages
47
64
- name : GitHub Pages action
48
65
You can’t perform that action at this time.
0 commit comments