Skip to content

Actions: mmtk/mmtk-core

Actions

Auto Merge Binding PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
auto-merge.yml
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add option to exclude kernel events from perf results (#995) Auto Merge Binding PRs #28: Commit 23ff088 pushed by github-merge-queue bot
October 29, 2023 23:44 37s master
master
October 29, 2023 23:44 37s
Fix mention of to_object_reference() in comment (#998) Auto Merge Binding PRs #27: Commit a58246d pushed by github-merge-queue bot
October 25, 2023 22:01 41s master
master
October 25, 2023 22:01 41s
Update doc comments (#1000) Auto Merge Binding PRs #26: Commit 59ff055 pushed by github-merge-queue bot
October 25, 2023 14:51 37s master
master
October 25, 2023 14:51 37s
Use BumpPointer::default() (#993) Auto Merge Binding PRs #25: Commit abd38ec pushed by github-merge-queue bot
October 25, 2023 05:56 39s master
master
October 25, 2023 05:56 39s
Use cargo generate-lockfile to update JikesRVM's Cargo.lock (#996) Auto Merge Binding PRs #24: Commit feb5471 pushed by github-merge-queue bot
October 25, 2023 05:36 41s master
master
October 25, 2023 05:36 41s
Expose is_emergency_collection to VM bindings (#997) Auto Merge Binding PRs #23: Commit b4f4519 pushed by github-merge-queue bot
October 24, 2023 12:46 42s master
master
October 24, 2023 12:46 42s
JikesRVM's Rust project needs files that are generated in the building Auto Merge Binding PRs #22: Commit 0d5c436 pushed by qinsoon
October 24, 2023 04:30 1m 41s fix-jikesrvm-auto-merge
fix-jikesrvm-auto-merge
October 24, 2023 04:30 1m 41s
Test with the JikesRVM PR Auto Merge Binding PRs #21: Commit b5250e7 pushed by qinsoon
October 24, 2023 04:24 2m 51s fix-jikesrvm-auto-merge
fix-jikesrvm-auto-merge
October 24, 2023 04:24 2m 51s
Move some states from BasePlan to GlobalState (#949) Auto Merge Binding PRs #20: Commit 57af17f pushed by github-merge-queue bot
October 24, 2023 02:12 3m 20s master
master
October 24, 2023 02:12 3m 20s
Apply a delay before we enable auto merge on a PR (#992) Auto Merge Binding PRs #19: Commit eaa203e pushed by github-merge-queue bot
October 23, 2023 06:27 37s master
master
October 23, 2023 06:27 37s
Allow auto merge binding PRs (#988) Auto Merge Binding PRs #18: Commit 06a2e5d pushed by github-merge-queue bot
October 20, 2023 11:20 2m 1s master
master
October 20, 2023 11:20 2m 1s
Change the trigger to test again Auto Merge Binding PRs #17: Commit b5af19f pushed by qinsoon
October 20, 2023 01:53 2m 33s auto-merge-binding-prs
auto-merge-binding-prs
October 20, 2023 01:53 2m 33s
Trigger the workflow on this push Auto Merge Binding PRs #16: Commit db2e4b4 pushed by qinsoon
October 20, 2023 00:39 1m 15s auto-merge-binding-prs
auto-merge-binding-prs
October 20, 2023 00:39 1m 15s
Allow auto merge binding PRs Auto Merge Binding PRs #15: Pull request #988 synchronize by qinsoon
October 18, 2023 06:18 1m 8s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 06:18 1m 8s
Allow auto merge binding PRs Auto Merge Binding PRs #14: Pull request #988 synchronize by qinsoon
October 18, 2023 06:02 51s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 06:02 51s
Allow auto merge binding PRs Auto Merge Binding PRs #13: Pull request #988 synchronize by qinsoon
October 18, 2023 05:57 48s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:57 48s
Allow auto merge binding PRs Auto Merge Binding PRs #12: Pull request #988 synchronize by qinsoon
October 18, 2023 05:51 56s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:51 56s
Allow auto merge binding PRs Auto Merge Binding PRs #11: Pull request #988 synchronize by qinsoon
October 18, 2023 05:48 56s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:48 56s
Allow auto merge binding PRs Auto Merge Binding PRs #10: Pull request #988 synchronize by qinsoon
October 18, 2023 05:46 1m 4s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:46 1m 4s
Allow auto merge binding PRs Auto Merge Binding PRs #9: Pull request #988 synchronize by qinsoon
October 18, 2023 05:25 55s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:25 55s
Allow auto merge binding PRs Auto Merge Binding PRs #8: Pull request #988 synchronize by qinsoon
October 18, 2023 05:17 58s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 05:17 58s
Allow auto merge binding PRs Auto Merge Binding PRs #7: Pull request #988 synchronize by qinsoon
October 18, 2023 04:36 59s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 04:36 59s
Allow auto merge binding PRs Auto Merge Binding PRs #6: Pull request #988 synchronize by qinsoon
October 18, 2023 04:30 55s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 04:30 55s
Allow auto merge binding PRs Auto Merge Binding PRs #5: Pull request #988 synchronize by qinsoon
October 18, 2023 04:28 56s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 04:28 56s
Allow auto merge binding PRs Auto Merge Binding PRs #4: Pull request #988 synchronize by qinsoon
October 18, 2023 04:22 1m 18s auto-merge-binding-prs
auto-merge-binding-prs
October 18, 2023 04:22 1m 18s