Skip to content

Actions: rust-lang/miri

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Auto merge of #3124 - eduardosm:fix-sse41-round, r=RalfJung CI #5977: Commit aaaac66 pushed by bors
October 17, 2023 15:24 46m 3s auto
auto
October 17, 2023 15:24 46m 3s
Fix rounding mode check in SSE4.1 round functions CI #5976: Pull request #3124 synchronize by eduardosm
October 17, 2023 15:22 39m 47s eduardosm:fix-sse41-round
eduardosm:fix-sse41-round
October 17, 2023 15:22 39m 47s
Auto merge of #3126 - rust-lang:rustup-2023-10-17, r=RalfJung CI #5975: Commit d065ee4 pushed by bors
October 17, 2023 06:02 36m 47s auto
auto
October 17, 2023 06:02 36m 47s
CI CI #5974: Scheduled
October 17, 2023 04:47 19m 55s master
master
October 17, 2023 04:47 19m 55s
Fix rounding mode check in SSE4.1 round functions CI #5973: Pull request #3124 synchronize by eduardosm
October 16, 2023 17:39 59m 57s eduardosm:fix-sse41-round
eduardosm:fix-sse41-round
October 16, 2023 17:39 59m 57s
Fix rounding mode check in SSE4.1 round functions CI #5972: Pull request #3124 opened by eduardosm
October 16, 2023 16:42 36m 28s eduardosm:fix-sse41-round
eduardosm:fix-sse41-round
October 16, 2023 16:42 36m 28s
Auto merge of #3123 - RalfJung:triagebot, r=RalfJung CI #5971: Commit c8d4e83 pushed by bors
October 16, 2023 05:27 59m 53s auto
auto
October 16, 2023 05:27 59m 53s
triagebot: re-enable merge commit check CI #5970: Pull request #3123 opened by RalfJung
October 16, 2023 05:26 34m 27s RalfJung:triagebot
RalfJung:triagebot
October 16, 2023 05:26 34m 27s
CI CI #5969: Scheduled
October 16, 2023 04:47 50m 31s master
master
October 16, 2023 04:47 50m 31s
Auto merge of #3118 - eduardosm:intrinsics-x86-sse41, r=RalfJung CI #5968: Commit 446ab6f pushed by bors
October 15, 2023 19:57 56m 0s auto
auto
October 15, 2023 19:57 56m 0s
Implement llvm.x86.sse41.* intrinsics CI #5967: Pull request #3118 synchronize by eduardosm
October 15, 2023 17:43 42m 27s eduardosm:intrinsics-x86-sse41
eduardosm:intrinsics-x86-sse41
October 15, 2023 17:43 42m 27s
intptrcast: remove information about dead allocations CI #5966: Pull request #3122 synchronize by RalfJung
October 15, 2023 17:15 37m 33s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 15, 2023 17:15 37m 33s
intptrcast: remove information about dead allocations CI #5965: Pull request #3122 synchronize by RalfJung
October 15, 2023 17:14 35m 58s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 15, 2023 17:14 35m 58s
CI CI #5964: Scheduled
October 15, 2023 04:47 35m 54s master
master
October 15, 2023 04:47 35m 54s
Implement llvm.x86.sse41.* intrinsics CI #5963: Pull request #3118 synchronize by eduardosm
October 14, 2023 19:10 35m 51s eduardosm:intrinsics-x86-sse41
eduardosm:intrinsics-x86-sse41
October 14, 2023 19:10 35m 51s
intptrcast: remove information about dead allocations CI #5962: Pull request #3122 synchronize by RalfJung
October 14, 2023 10:47 59m 14s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 14, 2023 10:47 59m 14s
intptrcast: remove information about dead allocations CI #5961: Pull request #3122 synchronize by RalfJung
October 14, 2023 10:46 38m 53s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 14, 2023 10:46 38m 53s
intptrcast: remove information about dead allocations CI #5960: Pull request #3122 synchronize by RalfJung
October 14, 2023 10:44 34m 50s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 14, 2023 10:44 34m 50s
intptrcast: remove information about dead allocations CI #5959: Pull request #3122 synchronize by RalfJung
October 14, 2023 10:21 17m 43s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 14, 2023 10:21 17m 43s
intptrcast: remove information about dead allocations CI #5958: Pull request #3122 opened by RalfJung
October 14, 2023 10:21 15m 30s RalfJung:intrptrcast-clean
RalfJung:intrptrcast-clean
October 14, 2023 10:21 15m 30s
Auto merge of #3121 - rust-lang:rustup-2023-10-14, r=saethlin CI #5957: Commit 7f0d71f pushed by bors
October 14, 2023 05:17 43m 57s auto
auto
October 14, 2023 05:17 43m 57s
CI CI #5956: Scheduled
October 14, 2023 04:47 23m 6s master
master
October 14, 2023 04:47 23m 6s
Extend the BorTag GC to AllocIds CI #5955: Pull request #3103 synchronize by saethlin
October 13, 2023 22:05 1h 7m 50s saethlin:allocid-gc
saethlin:allocid-gc
October 13, 2023 22:05 1h 7m 50s
Extend the BorTag GC to AllocIds CI #5954: Pull request #3103 synchronize by saethlin
October 13, 2023 21:42 45m 41s saethlin:allocid-gc
saethlin:allocid-gc
October 13, 2023 21:42 45m 41s
CI CI #5953: Scheduled
October 13, 2023 04:47 44m 7s master
master
October 13, 2023 04:47 44m 7s