Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,790 workflow runs
2,790 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Teach kmir to reduce SMIR K definitions over a set of CFG roots Test #4778: Pull request #845 synchronize by Stevengre
39m 55s srs/multiple_roots_closure
srs/multiple_roots_closure
39m 55s
Teach kmir to reduce SMIR K definitions over a set of CFG roots Test #4777: Pull request #845 synchronize by Stevengre
14m 29s srs/multiple_roots_closure
srs/multiple_roots_closure
14m 29s
Verify Rust Standard Library - Challenge 11: Safety of Methods for Numeric Primitive Types Test #4776: Pull request #985 synchronize by dkcumming
39m 36s verify-rust-std/challenge-0011
verify-rust-std/challenge-0011
39m 36s
Verify Rust Standard Library - Challenge 11: Safety of Methods for Numeric Primitive Types Test #4775: Pull request #985 synchronize by dkcumming
4m 46s verify-rust-std/challenge-0011
verify-rust-std/challenge-0011
4m 46s
Update dependency: deps/stable-mir-json_release Test #4774: Pull request #998 synchronize by rv-jenkins
1h 1m 34s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1h 1m 34s
flake.{nix,lock}: update Nix derivations Update Dependencies #163: Commit f0d1ac3 pushed by rv-jenkins
33s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
33s
Update dependency: deps/stable-mir-json_release Test #4773: Pull request #998 synchronize by dkcumming
56s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
56s
Merge branch 'master' into _update-deps/runtimeverification/stable-mi… Update Dependencies #162: Commit 5500d31 pushed by dkcumming
43s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
43s
Set Version: 0.4.194 Release KMIR #265: Commit 49bcdeb pushed by rv-jenkins
8m 35s release
release
8m 35s
fix(rt): handle zero-sized function types in decode and ZST recogniti… Master Push #254: Commit 9af0261 pushed by automergerpr-permission-manager bot
13s master
master
13s
fix(rt): handle zero-sized function types in decode and ZST recognition Test #4772: Pull request #813 synchronize by dkcumming
43m 44s jh/zero-sized-decode
jh/zero-sized-decode
43m 44s
Set Version: 0.4.193 Release KMIR #264: Commit cd2ee44 pushed by rv-jenkins
9m 49s release
release
9m 49s
fix(types): make #pointeeProjection confluent with source-first unwra… Master Push #253: Commit eafe909 pushed by automergerpr-permission-manager bot
20s master
master
20s
fix(types): make #pointeeProjection confluent with source-first unwrapping strategy Test #4771: Pull request #988 synchronize by dkcumming
42m 35s jh/close-account-multisig-write-volatile-array
jh/close-account-multisig-write-volatile-array
42m 35s
feat(rt): add address allocation model for pointer-to-integer semantics Test #4770: Pull request #1003 opened by Stevengre
13m 3s jh/address-alloc-model
jh/address-alloc-model
13m 3s
fix(rt): handle zero-sized function types in decode and ZST recognition Test #4769: Pull request #813 synchronize by Stevengre
24m 57s jh/zero-sized-decode
jh/zero-sized-decode
24m 57s
fix(types): make #pointeeProjection confluent with source-first unwrapping strategy Test #4768: Pull request #988 synchronize by Stevengre
24m 7s jh/close-account-multisig-write-volatile-array
jh/close-account-multisig-write-volatile-array
24m 7s
Execute drop glue for Drop terminators Test #4767: Pull request #999 synchronize by Stevengre
7m 47s codex/fix-interior-mut-drop-glue
codex/fix-interior-mut-drop-glue
7m 47s
fix(symbolic-spl): decompose multisig signer pubkeys to avoid SMT tim… Release P-Token KMIR #83: Commit 22545a5 pushed by Stevengre
11m 3s feature/p-token
feature/p-token
11m 3s
Summaries for inner_test_validate_owner Test #4766: Pull request #1001 synchronize by mariaKt
3h 27m 41s mk/lemmas-inner_test_validate_owner
mk/lemmas-inner_test_validate_owner
3h 27m 41s
Summaries for inner_test_validate_owner Test #4765: Pull request #1001 opened by mariaKt
4h 8m 49s mk/lemmas-inner_test_validate_owner
mk/lemmas-inner_test_validate_owner
4h 8m 49s
Set Version: 0.4.192 Release KMIR #263: Commit 4f4edc5 pushed by rv-jenkins
11m 15s release
release
11m 15s
cleanup(rt): remove redundant #forceSetLocal (#810) Master Push #252: Commit 92056cd pushed by automergerpr-permission-manager bot
11s master
master
11s
fix(symbolic-spl): decompose multisig signer pubkeys to avoid SMT timeout Test #4764: Pull request #1000 synchronize by Stevengre
3h 18m 14s repro/pubkey-list-smt-timeout
repro/pubkey-list-smt-timeout
3h 18m 14s
fix(symbolic-spl): decompose multisig signer pubkeys to avoid SMT timeout Test #4763: Pull request #1000 synchronize by Stevengre
2m 31s repro/pubkey-list-smt-timeout
repro/pubkey-list-smt-timeout
2m 31s