Skip to content

Actions: runtimeverification/mir-semantics

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(spl): simplify rent minimum_balance float calculation Test #4376: Pull request #903 synchronize by Stevengre
1h 19m 34s jh/spl/simplify-balance
jh/spl/simplify-balance
1h 19m 34s
feat(spl): simplify rent minimum_balance float calculation Test #4375: Pull request #903 opened by Stevengre
2h 4m 52s jh/spl/simplify-balance
jh/spl/simplify-balance
2h 4m 52s
fix(spl): update the unpack cheatcode for rent Test #4374: Pull request #902 synchronize by Stevengre
1h 17m 36s jh/spl/rent-unpack
jh/spl/rent-unpack
1h 17m 36s
fix(spl): update the unpack cheatcode for rent Test #4373: Pull request #902 opened by Stevengre
2h 2m 40s jh/spl/rent-unpack
jh/spl/rent-unpack
2h 2m 40s
Update mir-semantics Test #4372: Pull request #901 opened by dkcumming
2h 42m 39s master
master
2h 42m 39s
Add --fail-fast and --maintainence-rate pyk flags Test #4371: Pull request #900 opened by dkcumming
1h 18m 7s dc/fail-fast-maintainence-rate
dc/fail-fast-maintainence-rate
1h 18m 7s
chore: merge origin master & update p/spl-token.md Test #4370: Pull request #897 synchronize by jberthold
1h 22m 58s jh/merge
jh/merge
1h 22m 58s
fix: include function pointer arguments in call_edges for reduce_to Test #4369: Pull request #898 opened by Stevengre
1h 17m 20s jh/unkown-function
jh/unkown-function
1h 17m 20s
chore: merge origin master & update p/spl-token.md Test #4368: Pull request #897 opened by Stevengre
3h 2m 15s jh/merge
jh/merge
3h 2m 15s
Update dependency: deps/stable-mir-json_release Test #4367: Pull request #896 synchronize by jberthold
1h 39m 5s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1h 39m 5s
Update dependency: deps/stable-mir-json_release Test #4366: Pull request #896 synchronize by rv-jenkins
57m 58s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
57m 58s
Update dependency: deps/stable-mir-json_release Test #4365: Pull request #896 opened by rv-jenkins
52s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
52s
feat: support terminator call from a function pointer Test #4364: Pull request #894 synchronize by jberthold
1h 38m 47s jh/map-3
jh/map-3
1h 38m 47s
feat: support terminator call from a function pointer Test #4363: Pull request #894 synchronize by Stevengre
1h 18m 18s jh/map-3
jh/map-3
1h 18m 18s
feat: support terminator call from a function pointer Test #4362: Pull request #894 synchronize by Stevengre
34m 38s jh/map-3
jh/map-3
34m 38s
feat: support terminator call from a function pointer Test #4361: Pull request #894 synchronize by Stevengre
7m 49s jh/map-3
jh/map-3
7m 49s
feat(spl): function pointer support for spl-token Test #4360: Pull request #895 opened by Stevengre
3m 13s jh/merge-fp-master
jh/merge-fp-master
3m 13s
feat: support terminator call from a function pointer Test #4359: Pull request #894 synchronize by Stevengre
29m 5s jh/map-3
jh/map-3
29m 5s
feat: support terminator call from a function pointer Test #4358: Pull request #894 opened by Stevengre
19s jh/map-3
jh/map-3
19s
Update dependency: deps/uv2nix Test #4357: Pull request #892 synchronize by jberthold
1h 19m 29s _update-deps-cron/uv2nix
_update-deps-cron/uv2nix
1h 19m 29s
Update dependency: deps/pyproject-build-systems Test #4356: Pull request #893 opened by rv-jenkins
1h 51m 26s _update-deps-cron/pyproject-build-systems
_update-deps-cron/pyproject-build-systems
1h 51m 26s
Update dependency: deps/uv2nix Test #4355: Pull request #892 opened by rv-jenkins
1h 18m 26s _update-deps-cron/uv2nix
_update-deps-cron/uv2nix
1h 18m 26s
fix(spl): avoid unreachable branch caused by lookupDiscrAux Test #4354: Pull request #888 opened by Stevengre
1h 23m 6s jh/spl/avoid-unreachable-remote
jh/spl/avoid-unreachable-remote
1h 23m 6s
fix(spl): refactor the spl-token cheatcode_is* Test #4353: Pull request #887 synchronize by Stevengre
1h 21m 52s jh/spl-cheatcode-refactor
jh/spl-cheatcode-refactor
1h 21m 52s
fix(spl): refactor the spl-token cheatcode_is* Test #4352: Pull request #887 synchronize by Stevengre
2h 37m 28s jh/spl-cheatcode-refactor
jh/spl-cheatcode-refactor
2h 37m 28s