Commit 4e641ff
CI: Add a job at the end of CI so we can merge the PR
We need a job to match on success to we can match that in the GutHub
interface to enable the auto-merge1 parent d9b434c commit 4e641ff
1 file changed
+7
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
0 commit comments