Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
RangeInteger abstraction for more compact representation Test #5164: Pull request #1061 synchronize by ehildenb
37m 58s range-abstraction
range-abstraction
37m 58s
Set Version: 0.4.213 Release KMIR #284: Commit 5a864b4 pushed by rv-jenkins
6h 0m 19s release
release
6h 0m 19s
Do not delete releases on cachix failure to respond (#1077) Master Push #273: Commit c13f46e pushed by automergerpr-permission-manager Bot
22s master
master
22s
Copilot code review Copilot code review #2: by Copilot AI
1m 24s refs/pull/1077/head
refs/pull/1077/head
1m 24s
Do not delete releases on cachix failure to respond Test #5163: Pull request #1077 opened by F-WRunTime
28m 18s hotfix/draft-cleanup
hotfix/draft-cleanup
28m 18s
Set Version: 0.4.212 Release KMIR #283: Commit 6d4f622 pushed by rv-jenkins
31m 51s release
release
31m 51s
Relying on Cachix is breaking publishing process (#1076) Master Push #272: Commit 434ca3e pushed by automergerpr-permission-manager Bot
28s master
master
28s
Relying on Cachix is breaking publishing process Test #5162: Pull request #1076 opened by F-WRunTime
36m 25s hotfix/kup-publish-retry
hotfix/kup-publish-retry
36m 25s
Copilot code review Copilot code review #1: by Copilot AI
1m 38s refs/pull/1076/head
refs/pull/1076/head
1m 38s
Set Version: 0.4.211 Release KMIR #282: Commit d43a28c pushed by rv-jenkins
28m 27s release
release
28m 27s
Dedupe function selector rules (#1074) Master Push #271: Commit dcf9eff pushed by ehildenb
26s master
master
26s
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
Set Version: 0.4.210 Release KMIR #281: Commit f8f062c pushed by rv-jenkins
30m 26s release
release
30m 26s