Skip to content

Actions: runtimeverification/mir-semantics

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
1,663 workflow runs
1,663 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/stable-mir-json_release Test #4468: Pull request #938 synchronize by dkcumming
1h 25m 2s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1h 25m 2s
Update dependency: deps/stable-mir-json_release Test #4467: Pull request #938 synchronize by rv-jenkins
2h 1m 51s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
2h 1m 51s
Update dependency: deps/stable-mir-json_release Test #4466: Pull request #938 synchronize by rv-jenkins
1m 28s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1m 28s
Handled additional Range constructor in toSigners side condition. Test #4465: Pull request #944 opened by mariaKt
2h 22m 57s mk/all-keys-range
mk/all-keys-range
2h 22m 57s
Test Test #4464: Manually run by dkcumming
1h 36m 12s feature/p-token
feature/p-token
1h 36m 12s
Fix metadata on PtrToPtr cast Test #4463: Pull request #941 synchronize by dkcumming
1h 22m 23s dc/fix-pointer-cast
dc/fix-pointer-cast
1h 22m 23s
Corrections to Multisig cheatcodes Test #4462: Pull request #942 opened by dkcumming
3h 39m 0s dc/multisig-cheatcode-corrections
dc/multisig-cheatcode-corrections
3h 39m 0s
Fix metadata on PtrToPtr cast Test #4461: Pull request #941 opened by dkcumming
52m 3s dc/fix-pointer-cast
dc/fix-pointer-cast
52m 3s
Hotfix adjust metadata origin retention Test #4460: Pull request #940 opened by jberthold
1h 24m 43s HOTFIX-adjust-metadata-origin-retention
HOTFIX-adjust-metadata-origin-retention
1h 24m 43s
Update dependency: deps/stable-mir-json_release Test #4459: Pull request #938 synchronize by rv-jenkins
48m 20s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
48m 20s
Update dependency: deps/stable-mir-json_release Test #4458: Pull request #938 synchronize by rv-jenkins
41s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
41s
Update with latest master Test #4457: Pull request #939 opened by dkcumming
3h 5m 5s master
master
3h 5m 5s
Add type-correcting projections on pointer cast and related operations Test #4456: Pull request #937 synchronize by jberthold
1h 55m 55s jb/tweak-iterations
jb/tweak-iterations
1h 55m 55s
Update dependency: deps/stable-mir-json_release Test #4455: Pull request #938 synchronize by rv-jenkins
1h 49m 24s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1h 49m 24s
Update dependency: deps/stable-mir-json_release Test #4454: Pull request #938 opened by rv-jenkins
1m 27s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1m 27s
Add type-correcting projections on pointer cast and related operations Test #4453: Pull request #937 synchronize by jberthold
3h 20m 54s jb/tweak-iterations
jb/tweak-iterations
3h 20m 54s
Add type-correcting projections on pointer cast and related operations Test #4452: Pull request #937 synchronize by jberthold
3h 5m 4s jb/tweak-iterations
jb/tweak-iterations
3h 5m 4s
Add type-correcting projections on pointer cast and related operations Test #4451: Pull request #937 opened by jberthold
1h 24m 34s jb/tweak-iterations
jb/tweak-iterations
1h 24m 34s
fix: type of offset for applyBinOp(binOpOffset, ...) Test #4450: Pull request #936 opened by mariaKt
51m 43s mk/offset-count
mk/offset-count
51m 43s
More BinOp::Offset tests Test #4449: Pull request #935 synchronize by dkcumming
1h 18m 25s dc/more-binop-offset-tests
dc/more-binop-offset-tests
1h 18m 25s
More BinOp::Offset tests Test #4448: Pull request #935 synchronize by dkcumming
12m 40s dc/more-binop-offset-tests
dc/more-binop-offset-tests
12m 40s
More BinOp::Offset tests Test #4447: Pull request #935 synchronize by dkcumming
27s dc/more-binop-offset-tests
dc/more-binop-offset-tests
27s
More BinOp::Offset tests Test #4446: Pull request #935 opened by dkcumming
27s dc/more-binop-offset-tests
dc/more-binop-offset-tests
27s
Update from master Test #4445: Pull request #934 opened by jberthold
1h 39m 9s master
master
1h 39m 9s
Add simplification for 0 <=Int asInt(#findVariantIdxAux(...)) Test #4444: Pull request #933 opened by jberthold
1h 18m 47s HOTFIX-discriminant-refactor-2
HOTFIX-discriminant-refactor-2
1h 18m 47s