File tree Expand file tree Collapse file tree 12 files changed +42
-7
lines changed Expand file tree Collapse file tree 12 files changed +42
-7
lines changed Original file line number Diff line number Diff line change @@ -17,6 +17,8 @@ concurrency:
17
17
group : ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
18
18
cancel-in-progress : true
19
19
20
+ permissions : {}
21
+
20
22
jobs :
21
23
additional-checks :
22
24
name : Additional checks
Original file line number Diff line number Diff line change 22
22
release :
23
23
types : [published]
24
24
25
- jobs :
25
+ permissions : {}
26
26
27
+ jobs :
27
28
# Run for push to configured branches and all published releases.
28
29
# Take care of different os.
29
30
# For main branch, created tags are:
47
48
- ubuntu_wxgui
48
49
fail-fast : false
49
50
51
+ permissions :
52
+ contents : read
53
+ packages : write
54
+
50
55
steps :
51
56
- name : Checkout
52
57
uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
Original file line number Diff line number Diff line change 8
8
- releasebranch_*
9
9
pull_request :
10
10
11
+ permissions : {}
12
+
11
13
jobs :
12
14
build :
13
15
name : ${{ matrix.c }} & ${{ matrix.cpp }}
Original file line number Diff line number Diff line change 14
14
concurrency :
15
15
group : ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
16
16
cancel-in-progress : true
17
+
18
+ permissions : {}
19
+
17
20
jobs :
18
21
macos_build :
19
22
name : macOS build
Original file line number Diff line number Diff line change 5
5
pull_request_target :
6
6
types : [closed]
7
7
8
+ permissions : {}
9
+
8
10
jobs :
9
11
assign-milestone :
10
12
runs-on : ubuntu-latest
11
13
if : github.event.pull_request.merged
14
+ permissions :
15
+ contents : read
16
+ pull-requests : write
12
17
steps :
13
- # Retreiving the current milestoone from API instead of github context,
18
+ # Retrieving the current milestone from API instead of github context,
14
19
# so up-to-date information is used when running after being queued or for reruns
15
20
# Otherwise, the information should be available using
16
21
# ${{ github.event.pull_request.milestone.title }}
Original file line number Diff line number Diff line change 8
8
- releasebranch_*
9
9
pull_request :
10
10
11
+ permissions : {}
12
+
11
13
jobs :
12
14
build :
13
15
name : ${{ matrix.os }} build and tests
Original file line number Diff line number Diff line change 10
10
# See https://crontab.guru/#32_10_*/100,1-7_*_WED
11
11
- cron : " 32 10 */100,1-7 * WED"
12
12
13
+ permissions : {}
14
+
13
15
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
14
16
jobs :
15
17
update-configure :
16
18
# The type of runner that the job will run on
17
19
runs-on : ubuntu-latest
18
20
21
+ permissions :
22
+ contents : write
23
+ pull-requests : write
24
+
19
25
# Steps represent a sequence of tasks that will be executed as part of the job
20
26
steps :
21
27
- name : Create URL to the run output
Original file line number Diff line number Diff line change 8
8
- releasebranch_*
9
9
pull_request :
10
10
11
+ permissions : {}
12
+
11
13
jobs :
12
14
pytest :
13
15
concurrency :
Original file line number Diff line number Diff line change 8
8
- releasebranch_*
9
9
pull_request :
10
10
11
+ permissions : {}
12
+
11
13
jobs :
12
14
python-checks :
13
15
name : Python Code Quality Checks
Original file line number Diff line number Diff line change @@ -12,6 +12,8 @@ concurrency:
12
12
group : ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
13
13
cancel-in-progress : true
14
14
15
+ permissions : {}
16
+
15
17
jobs :
16
18
super-linter :
17
19
name : GitHub Super Linter
You can’t perform that action at this time.
0 commit comments