Commit 4e1d87e
tools: add option to run workflow with specific tool id
PR-URL: #47591
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>
Reviewed-By: Tobias Nießen <tniessen@tnie.de>
Reviewed-By: Yagiz Nizipli <yagiz@nizipli.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Tierney Cyren <hello@bnb.im>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>1 parent e605402 commit 4e1d87eCopy full SHA for 4e1d87e
File tree
Expand file treeCollapse file tree
1 file changed
+33
-1
lines changedOpen diff view settings
Filter options
- .github/workflows
Expand file treeCollapse file tree
1 file changed
+33
-1
lines changedOpen diff view settings
Collapse file
.github/workflows/tools.yml
Copy file name to clipboardExpand all lines: .github/workflows/tools.yml+33-1Lines changed: 33 additions & 1 deletion
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| ||
5 | 5 | |
6 | 6 | |
7 | 7 | |
| 8 | + |
| 9 | + |
| 10 | + |
| 11 | + |
| 12 | + |
| 13 | + |
| 14 | + |
| 15 | + |
| 16 | + |
| 17 | + |
| 18 | + |
| 19 | + |
| 20 | + |
| 21 | + |
| 22 | + |
| 23 | + |
| 24 | + |
| 25 | + |
| 26 | + |
| 27 | + |
| 28 | + |
| 29 | + |
| 30 | + |
| 31 | + |
| 32 | + |
| 33 | + |
| 34 | + |
| 35 | + |
| 36 | + |
8 | 37 | |
9 | 38 | |
10 | 39 | |
| ||
210 | 239 | |
211 | 240 | |
212 | 241 | |
| 242 | + |
213 | 243 | |
214 | 244 | |
215 | 245 | |
| 246 | + |
216 | 247 | |
217 | 248 | |
218 | 249 | |
219 | | - |
| 250 | + |
220 | 251 | |
221 | 252 | |
222 | 253 | |
| 254 | + |
223 | 255 | |
224 | 256 | |
225 | 257 | |
|
0 commit comments