Commit 8e115f8
Update pull request workflow to use the tagged github-workflows
Now that workflows is more stable, use the most recent tag instead of
main to avoid changes to default jobs preventing merging.
(cherry picked from commit 208b1e4)1 parent 7660047 commit 8e115f8
1 file changed
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
| 24 | + | |
25 | 25 | | |
26 | 26 | | |
27 | 27 | | |
| |||
0 commit comments