File tree 4 files changed +13
-2
lines changed
4 files changed +13
-2
lines changed Original file line number Diff line number Diff line change 6
6
types :
7
7
- published
8
8
9
+ # Do not add permissions here! Configure them at the job level!
10
+ permissions : {}
11
+
9
12
jobs :
10
13
bundle :
11
14
name : Bundle
Original file line number Diff line number Diff line change 6
6
types :
7
7
- published
8
8
9
+ # Do not add permissions here! Configure them at the job level!
10
+ permissions : {}
11
+
9
12
jobs :
10
13
generate-docs :
11
14
name : Generate docs
Original file line number Diff line number Diff line change 6
6
concurrency :
7
7
group : ${{ github.workflow }}-${{ github.ref }}
8
8
cancel-in-progress : true
9
-
9
+
10
+ # Do not add permissions here! Configure them at the job level!
11
+ permissions : {}
12
+
10
13
jobs :
11
14
test-examples-nix :
12
15
runs-on : [ubuntu-24.04]
Original file line number Diff line number Diff line change @@ -7,8 +7,10 @@ concurrency:
7
7
group : ${{ github.workflow }}-${{ github.ref }}
8
8
cancel-in-progress : true
9
9
10
- jobs :
10
+ # Do not add permissions here! Configure them at the job level!
11
+ permissions : {}
11
12
13
+ jobs :
12
14
test-examples-ubuntu :
13
15
runs-on : [ubuntu-24.04]
14
16
steps :
You can’t perform that action at this time.
0 commit comments