Skip to content

Commit dd08c82

Browse files
juanjose.tenoriocorona10
authored andcommitted
remove unused keys and comments
1 parent dbfbd18 commit dd08c82

File tree

3 files changed

+0
-18
lines changed

3 files changed

+0
-18
lines changed

.github/workflows/reusable-build-win-32.yml

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,10 @@
1-
# gh-84728: "paths-ignore" is not used to skip documentation-only PRs, because
2-
# it prevents to mark a job as mandatory. A PR cannot be merged if a job is
3-
# mandatory but not scheduled because of "paths-ignore".
41
on:
52
workflow_call:
63
inputs:
74
config_hash:
85
required: true
96
type: string
107

11-
permissions:
12-
contents: read
13-
148
jobs:
159
build_win_32:
1610
runs-on: windows-latest

.github/workflows/reusable-build-win-amd64.yml

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,10 @@
1-
# gh-84728: "paths-ignore" is not used to skip documentation-only PRs, because
2-
# it prevents to mark a job as mandatory. A PR cannot be merged if a job is
3-
# mandatory but not scheduled because of "paths-ignore".
41
on:
52
workflow_call:
63
inputs:
74
config_hash:
85
required: true
96
type: string
107

11-
permissions:
12-
contents: read
13-
148
jobs:
159
build_win_amd64:
1610
runs-on: windows-latest

.github/workflows/reusable-build-win-arm64.yml

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,10 @@
1-
# gh-84728: "paths-ignore" is not used to skip documentation-only PRs, because
2-
# it prevents to mark a job as mandatory. A PR cannot be merged if a job is
3-
# mandatory but not scheduled because of "paths-ignore".
41
on:
52
workflow_call:
63
inputs:
74
config_hash:
85
required: true
96
type: string
107

11-
permissions:
12-
contents: read
13-
148
jobs:
159
build_win_arm64:
1610
runs-on: windows-latest

0 commit comments

Comments
 (0)