| [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
08:11
apogee_ntv left
09:48
librasteve_ joined
|
|||
| Geth | MoarVM/dedicated_nursery_memory_area: 05ef27b718 | (Will Coleda)++ | README.markdown WIP to force rebuild |
13:11 | |
| [Coke] | some of the older moarvm PRs have no checks run, will try to trigger those with the force push trick | 13:16 | |
| Some of them are old enough that we should also consider doing a rebase on those branches also | 13:17 | ||
| github.com/MoarVM/MoarVM/pull/1861, e.g. as an old one that is failing all the checks so far. | |||
|
15:09
librasteve_ left
16:03
vrurg_ joined,
vrurg left
16:20
librasteve_ joined
17:12
lizmat left,
lizmat joined
18:29
librasteve_ left
|
|||
| timo | since we bump relativ1ely frequently, i would expect PRs to fail CI very soon after being made | 19:24 | |
| [Coke] | So rebases in order for old prs. | 20:02 | |
|
22:44
lizmat left,
lizmat_ joined
|
|||