Skip to content

Actions: rust-lang/miri

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add a test for the TLS memory leak CI #7220: Pull request #3501 synchronize by RalfJung
April 25, 2024 07:53 30m 6s RalfJung:tls-many-seeds
RalfJung:tls-many-seeds
April 25, 2024 07:53 30m 6s
Auto merge of #3514 - RalfJung:hyperfine, r=RalfJung CI #7219: Commit b21f579 pushed by bors
April 25, 2024 07:52 21m 50s auto
auto
April 25, 2024 07:52 21m 50s
add a test for the TLS memory leak CI #7218: Pull request #3501 synchronize by RalfJung
April 25, 2024 07:51 29m 20s RalfJung:tls-many-seeds
RalfJung:tls-many-seeds
April 25, 2024 07:51 29m 20s
Auto merge of #3512 - RalfJung:miri-script-build, r=RalfJung CI #7217: Commit 897740a pushed by bors
April 25, 2024 07:20 29m 57s auto
auto
April 25, 2024 07:20 29m 57s
Auto merge of #3513 - rust-lang:rustup-2024-04-25, r=RalfJung CI #7216: Commit 0893456 pushed by bors
April 25, 2024 06:48 29m 32s auto
auto
April 25, 2024 06:48 29m 32s
Auto merge of #3505 - RalfJung:ci, r=RalfJung CI #7215: Commit c2c7072 pushed by bors
April 25, 2024 06:16 29m 42s auto
auto
April 25, 2024 06:16 29m 42s
CI: run benches with hyperfine rather than bash CI #7214: Pull request #3514 opened by RalfJung
April 25, 2024 06:14 31m 55s RalfJung:hyperfine
RalfJung:hyperfine
April 25, 2024 06:14 31m 55s
CI CI #7213: Scheduled
April 25, 2024 04:47 18m 16s master
master
April 25, 2024 04:47 18m 16s
Tier 2 sysroots Tier 2 sysroots #112: Scheduled
April 25, 2024 04:45 19m 34s master
master
April 25, 2024 04:45 19m 34s
make miri-script a workspace root CI #7212: Pull request #3512 opened by RalfJung
April 24, 2024 16:09 30m 31s RalfJung:miri-script-build
RalfJung:miri-script-build
April 24, 2024 16:09 30m 31s
Auto merge of #3505 - RalfJung:ci, r=RalfJung CI #7211: Commit 0c1edc4 pushed by bors
April 24, 2024 15:41 29m 57s auto
auto
April 24, 2024 15:41 29m 57s
Auto merge of #3511 - obi1kenobi:patch-1, r=RalfJung CI #7210: Commit e6914bb pushed by bors
April 24, 2024 15:08 31m 18s auto
auto
April 24, 2024 15:08 31m 18s
Upgrade to actions/checkout@v4 in ci.yml. CI #7209: Pull request #3511 opened by obi1kenobi
April 24, 2024 15:07 30m 4s obi1kenobi:patch-1
obi1kenobi:patch-1
April 24, 2024 15:07 30m 4s
Auto merge of #3510 - RalfJung:sigpipe-default, r=RalfJung CI #7208: Commit 4028943 pushed by bors
April 24, 2024 13:02 31m 40s auto
auto
April 24, 2024 13:02 31m 40s
unix_sigpipe: don't inline DEFAULT, just use it from rustc CI #7207: Pull request #3510 opened by RalfJung
April 24, 2024 12:58 30m 33s RalfJung:sigpipe-default
RalfJung:sigpipe-default
April 24, 2024 12:58 30m 33s
Make ./miri run less quiet, to see what happens on Windows CI #7206: Pull request #3508 synchronize by RalfJung
April 24, 2024 12:23 30m 4s RalfJung:win-many-seeds
RalfJung:win-many-seeds
April 24, 2024 12:23 30m 4s
Auto merge of #3492 - eduardosm:intrinsics-x86-avx2, r=oli-obk CI #7205: Commit 9d6623e pushed by bors
April 24, 2024 12:23 29m 52s auto
auto
April 24, 2024 12:23 29m 52s
Make ./miri run less quiet, to see what happens on Windows CI #7204: Pull request #3508 opened by RalfJung
April 24, 2024 12:03 30m 24s RalfJung:win-many-seeds
RalfJung:win-many-seeds
April 24, 2024 12:03 30m 24s
Auto merge of #3507 - RalfJung:let-underscore, r=RalfJung CI #7203: Commit e989fe7 pushed by bors
April 24, 2024 08:04 30m 39s auto
auto
April 24, 2024 08:04 30m 39s
avoid 'let _' in tests where we actually want the value to be computed CI #7202: Pull request #3507 synchronize by RalfJung
April 24, 2024 08:03 30m 20s RalfJung:let-underscore
RalfJung:let-underscore
April 24, 2024 08:03 30m 20s
Auto merge of #3507 - RalfJung:let-underscore, r=RalfJung CI #7201: Commit bf0e773 pushed by bors
April 24, 2024 07:42 18m 20s auto
auto
April 24, 2024 07:42 18m 20s
avoid 'let _' in tests where we actually want the value to be computed CI #7200: Pull request #3507 opened by RalfJung
April 24, 2024 07:10 19m 55s RalfJung:let-underscore
RalfJung:let-underscore
April 24, 2024 07:10 19m 55s
Auto merge of #3502 - RalfJung:GetUserProfileDirectoryW, r=RalfJung CI #7199: Commit 4c399a3 pushed by bors
April 24, 2024 07:09 30m 30s auto
auto
April 24, 2024 07:09 30m 30s
windows: basic support for GetUserProfileDirectoryW CI #7198: Pull request #3502 synchronize by RalfJung
April 24, 2024 06:49 29m 56s RalfJung:GetUserProfileDirectoryW
RalfJung:GetUserProfileDirectoryW
April 24, 2024 06:49 29m 56s
Auto merge of #3506 - rust-lang:rustup-2024-04-24, r=RalfJung CI #7197: Commit f68fc2e pushed by bors
April 24, 2024 06:37 29m 50s auto
auto
April 24, 2024 06:37 29m 50s