| [Coke] | github.com/MoarVM/MoarVM/pull/1999 is now all green on CI | 00:02 | |
| I pushed a commit and then deleted the commit and force pushed. seemed the easiest way to retrigger when the UI didn't seem to be doing it | 00:03 | ||
| ah, doing through the UI DOES work, it was just a very long queue, apparently | 00:12 | ||
| masterduke - can you go through your old PRs for moarvm and re-push them to retrigger the CI? | 00:50 | ||
| github.com/MoarVM/MoarVM/pull/1906/checks, e.g. has no re-run link | |||
|
02:36
apogee_ntv left
02:37
apogee_ntv joined
|
|||