Commit c78d708
doc: use 'GitHub Actions workflow' instead
PR-URL: #40586
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Voltrex <[email protected]>
Reviewed-By: Tobias Nießen <[email protected]>1 parent 71bac70 commit c78d708
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
185 | 185 | | |
186 | 186 | | |
187 | 187 | | |
188 | | - | |
| 188 | + | |
189 | 189 | | |
190 | 190 | | |
191 | 191 | | |
| |||
0 commit comments