Skip to content

Actions: rust-lang/miri

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,521 workflow run results
1,521 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tier 2 sysroots Tier 2 sysroots #109: Scheduled
April 22, 2024 04:44 19m 1s master
master
April 22, 2024 04:44 19m 1s
Add localtime_r shim CI #7172: Pull request #3461 synchronize by tiif
April 22, 2024 04:01 29m 9s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 22, 2024 04:01 29m 9s
Add localtime_r shim CI #7171: Pull request #3461 synchronize by tiif
April 22, 2024 03:58 30m 5s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 22, 2024 03:58 30m 5s
Add localtime_r shim CI #7170: Pull request #3461 synchronize by tiif
April 22, 2024 03:19 29m 24s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 22, 2024 03:19 29m 24s
Add -Zmiri-env-set to set environment variables without modifying the host environment CI #7169: Pull request #3493 synchronize by eduardosm
April 21, 2024 21:08 29m 12s eduardosm:env-set
eduardosm:env-set
April 21, 2024 21:08 29m 12s
CI CI #7168: Scheduled
April 21, 2024 04:47 29m 29s master
master
April 21, 2024 04:47 29m 29s
Tier 2 sysroots Tier 2 sysroots #108: Scheduled
April 21, 2024 04:44 19m 24s master
master
April 21, 2024 04:44 19m 24s
Auto merge of #3496 - RalfJung:thread-vector-idx, r=RalfJung CI #7167: Commit 4b4e1dd pushed by bors
April 20, 2024 09:39 29m 35s auto
auto
April 20, 2024 09:39 29m 35s
global allocations: don't make up a super-high VectorIdx, just use the main thread CI #7166: Pull request #3496 synchronize by RalfJung
April 20, 2024 09:37 29m 13s RalfJung:thread-vector-idx
RalfJung:thread-vector-idx
April 20, 2024 09:37 29m 13s
global allocations: don't make up a super-high VectorIdx, just use the main thread CI #7165: Pull request #3496 opened by RalfJung
April 20, 2024 09:35 28m 48s RalfJung:thread-vector-idx
RalfJung:thread-vector-idx
April 20, 2024 09:35 28m 48s
Auto merge of #3495 - RalfJung:data-race-clocks, r=RalfJung CI #7164: Commit 87866d1 pushed by bors
April 20, 2024 08:11 28m 54s auto
auto
April 20, 2024 08:11 28m 54s
data_race: make the release/acquire API more clear CI #7163: Pull request #3495 synchronize by RalfJung
April 20, 2024 08:09 29m 12s RalfJung:data-race-clocks
RalfJung:data-race-clocks
April 20, 2024 08:09 29m 12s
data_race: make the release/acquire API more clear CI #7162: Pull request #3495 synchronize by RalfJung
April 20, 2024 07:57 29m 25s RalfJung:data-race-clocks
RalfJung:data-race-clocks
April 20, 2024 07:57 29m 25s
Auto merge of #3495 - RalfJung:data-race-clocks, r=RalfJung CI #7161: Commit e439354 pushed by bors
April 20, 2024 07:28 12m 54s auto
auto
April 20, 2024 07:28 12m 54s
data_race: make the release/acquire API more clear CI #7160: Pull request #3495 synchronize by RalfJung
April 20, 2024 07:27 12m 9s RalfJung:data-race-clocks
RalfJung:data-race-clocks
April 20, 2024 07:27 12m 9s
data_race: make the release/acquire API more clear CI #7159: Pull request #3495 opened by RalfJung
April 20, 2024 07:08 29m 24s RalfJung:data-race-clocks
RalfJung:data-race-clocks
April 20, 2024 07:08 29m 24s
Add localtime_r shim CI #7158: Pull request #3461 synchronize by tiif
April 20, 2024 06:45 28m 35s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 06:45 28m 35s
Add localtime_r shim CI #7157: Pull request #3461 synchronize by tiif
April 20, 2024 06:32 29m 7s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 06:32 29m 7s
Auto merge of #3494 - rust-lang:rustup-2024-04-20, r=RalfJung CI #7156: Commit 8c95a79 pushed by bors
April 20, 2024 06:28 28m 35s auto
auto
April 20, 2024 06:28 28m 35s
Automatic Rustup CI #7155: Pull request #3494 synchronize by RalfJung
April 20, 2024 06:26 29m 28s rustup-2024-04-20
rustup-2024-04-20
April 20, 2024 06:26 29m 28s
Add localtime_r shim CI #7154: Pull request #3461 synchronize by tiif
April 20, 2024 06:26 28m 51s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 06:26 28m 51s
Auto merge of #3494 - rust-lang:rustup-2024-04-20, r=RalfJung CI #7153: Commit d301cb5 pushed by bors
April 20, 2024 05:54 14m 5s auto
auto
April 20, 2024 05:54 14m 5s
Add localtime_r shim CI #7152: Pull request #3461 synchronize by tiif
April 20, 2024 05:18 25m 39s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 05:18 25m 39s
Add localtime_r shim CI #7151: Pull request #3461 synchronize by tiif
April 20, 2024 05:17 25m 10s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 05:17 25m 10s
Add localtime_r shim CI #7150: Pull request #3461 synchronize by tiif
April 20, 2024 05:16 26m 18s tiif:add_localtime_r_shim
tiif:add_localtime_r_shim
April 20, 2024 05:16 26m 18s