Skip to content

Actions: runtimeverification/mir-semantics

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
2,148 workflow runs
2,148 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5161: Pull request #1015 synchronize by dkcumming
25m 11s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
25m 11s
Dedupe function selector rules Test #5160: Pull request #1074 opened by ehildenb
53m 3s dedupe-function-selector
dedupe-function-selector
53m 3s
refactor(rt): make projection traversal total Test #5159: Pull request #1073 synchronize by Stevengre
47m 42s jh/traverseprojection-function
jh/traverseprojection-function
47m 42s
refactor(kmir): simplify terminator call setup Test #5158: Pull request #1072 synchronize by Stevengre
58m 27s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
58m 27s
refactor(kmir): simplify terminator call setup Test #5157: Pull request #1072 synchronize by Stevengre
27s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
27s
refactor(kmir): simplify terminator call setup Test #5156: Pull request #1072 synchronize by Stevengre
10m 24s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
10m 24s
refactor(kmir): simplify terminator call setup Test #5155: Pull request #1072 synchronize by Stevengre
14m 47s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
14m 47s
refactor(kmir): simplify terminator call setup Test #5154: Pull request #1072 synchronize by Stevengre
12m 48s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
12m 48s
refactor(rt): make projection traversal total Test #5153: Pull request #1073 synchronize by Stevengre
13m 50s jh/traverseprojection-function
jh/traverseprojection-function
13m 50s
refactor(rt): make projection traversal total Test #5152: Pull request #1073 opened by Stevengre
3m 51s jh/traverseprojection-function
jh/traverseprojection-function
3m 51s
refactor(kmir): simplify terminator call setup Test #5151: Pull request #1072 synchronize by Stevengre
36m 40s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
36m 40s
refactor(kmir): simplify terminator call setup Test #5150: Pull request #1072 synchronize by Stevengre
2m 24s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
2m 24s
refactor(kmir): simplify terminator call setup Test #5149: Pull request #1072 opened by Stevengre
12m 20s jh/refactor-exec-terminator-call
jh/refactor-exec-terminator-call
12m 20s
kmir prove takes multiple start-symbols Test #5148: Pull request #1071 synchronize by dkcumming
37m 3s dc/multi-start-symbol
dc/multi-start-symbol
37m 3s
kmir prove takes multiple start-symbols Test #5147: Pull request #1071 synchronize by dkcumming
27s dc/multi-start-symbol
dc/multi-start-symbol
27s
Reuse prebuilt KMIR definition to avoid redundant llvm-kompile processes Test #5146: Pull request #1069 synchronize by dkcumming
54m 53s dc/single-kompile
dc/single-kompile
54m 53s
kmir prove takes multiple start-symbols Test #5145: Pull request #1071 opened by dkcumming
42m 12s dc/multi-start-symbol
dc/multi-start-symbol
42m 12s
refactor: move runtime local access to slot-backed frames Test #5144: Pull request #1059 synchronize by Stevengre
2h 31m 22s codex/20260411-locals-refactor
codex/20260411-locals-refactor
2h 31m 22s
refactor: move runtime local access to slot-backed frames Test #5143: Pull request #1059 synchronize by Stevengre
12m 6s codex/20260411-locals-refactor
codex/20260411-locals-refactor
12m 6s
refactor: move runtime local access to slot-backed frames Test #5142: Pull request #1059 synchronize by Stevengre
33m 42s codex/20260411-locals-refactor
codex/20260411-locals-refactor
33m 42s
refactor: move runtime local access to slot-backed frames Test #5141: Pull request #1059 synchronize by Stevengre
8m 54s codex/20260411-locals-refactor
codex/20260411-locals-refactor
8m 54s
refactor: move runtime local access to slot-backed frames Test #5140: Pull request #1059 synchronize by Stevengre
10m 53s codex/20260411-locals-refactor
codex/20260411-locals-refactor
10m 53s
refactor: move runtime local access to slot-backed frames Test #5139: Pull request #1059 synchronize by Stevengre
3m 45s codex/20260411-locals-refactor
codex/20260411-locals-refactor
3m 45s
refactor: move runtime local access to slot-backed frames Test #5138: Pull request #1059 synchronize by Stevengre
3m 20s codex/20260411-locals-refactor
codex/20260411-locals-refactor
3m 20s
refactor: move runtime local access to slot-backed frames Test #5137: Pull request #1059 synchronize by Stevengre
3m 13s codex/20260411-locals-refactor
codex/20260411-locals-refactor
3m 13s