Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(kompile): add \exists quantifiers for existential variables in add-module rules Test #4405: Pull request #912 opened by Stevengre
19s jh/add-exists-quantifiers
jh/add-exists-quantifiers
19s
Set Version: 0.4.142 Release KMIR #213: Commit 651c59e pushed by rv-jenkins
6m 38s release
release
6m 38s
Enable running kmir with arbitrary kdist target (#911) Master Push #206: Commit 812dac9 pushed by tothtamas28
11s master
master
11s
Enable running kmir with arbitrary kdist target Test #4404: Pull request #911 synchronize by tothtamas28
52m 47s use-any-target
use-any-target
52m 47s
Enable running kmir with arbitrary kdist target Test #4403: Pull request #911 synchronize by tothtamas28
2m 1s use-any-target
use-any-target
2m 1s
Enable running kmir with arbitrary kdist target Test #4402: Pull request #911 opened by tothtamas28
2h 8m 22s use-any-target
use-any-target
2h 8m 22s
feat(spl): cheatcode for multisig (#910) Release P-Token KMIR #64: Commit 5a1667f pushed by automergerpr-permission-manager bot
10m 56s feature/p-token
feature/p-token
10m 56s
feat(spl): cheatcode for multisig Test #4401: Pull request #910 synchronize by Stevengre
1h 22m 2s jh/multisig
jh/multisig
1h 22m 2s
feat(spl): cheatcode for multisig Test #4400: Pull request #910 opened by Stevengre
1h 34m 29s jh/multisig
jh/multisig
1h 34m 29s
Set Version: 0.4.141 Release KMIR #212: Commit ff1492b pushed by rv-jenkins
6h 2m 11s release
release
6h 2m 11s
feat: add --to-module, --minimize-proof, and --add-module CLI options… Master Push #205: Commit 0f61f01 pushed by automergerpr-permission-manager bot
17s master
master
17s
feat: add --to-module, --minimize-proof, and --add-module CLI options Test #4399: Pull request #907 synchronize by Stevengre
1h 19m 39s jh/draft-cse
jh/draft-cse
1h 19m 39s
feat: add --to-module, --minimize-proof, and --add-module CLI options Test #4398: Pull request #907 synchronize by Stevengre
53m 16s jh/draft-cse
jh/draft-cse
53m 16s
feat: add --to-module, --minimize-proof, and --add-module CLI options Test #4397: Pull request #907 synchronize by Stevengre
1h 41m 56s jh/draft-cse
jh/draft-cse
1h 41m 56s
feat: add --to-module, --minimize-proof, and --add-module CLI options Test #4396: Pull request #907 synchronize by Stevengre
1m 42s jh/draft-cse
jh/draft-cse
1m 42s
Set Version: 0.4.140 Release KMIR #211: Commit 87356a8 pushed by rv-jenkins
6m 22s release
release
6m 22s
Update dependency: deps/stable-mir-json_release (#905) Master Push #204: Commit 09b6124 pushed by automergerpr-permission-manager bot
14s master
master
14s
Update dependency: deps/stable-mir-json_release Test #4395: Pull request #905 synchronize by rv-jenkins
1h 56m 18s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
1h 56m 18s
flake.{nix,lock}: update Nix derivations Update Dependencies #110: Commit b55041b pushed by rv-jenkins
19s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
19s
Update dependency: deps/stable-mir-json_release Test #4394: Pull request #905 synchronize by dkcumming
2m 17s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
2m 17s
Merge branch 'master' into _update-deps/runtimeverification/stable-mi… Update Dependencies #109: Commit e59762b pushed by dkcumming
2m 1s _update-deps/runtimeverification/stable-mir-json
_update-deps/runtimeverification/stable-mir-json
2m 1s
Set Version: 0.4.139 Release KMIR #210: Commit e978264 pushed by rv-jenkins
8m 34s release
release
8m 34s
Include lemma from feature/p-token (#908) Master Push #203: Commit 9ff569b pushed by automergerpr-permission-manager bot
11s master
master
11s
Include lemma from feature/p-token Test #4393: Pull request #908 synchronize by dkcumming
52m 56s add-lemma
add-lemma
52m 56s
Set Version: 0.4.138 Release KMIR #209: Commit c0196f7 pushed by rv-jenkins
6h 0m 18s release
release
6h 0m 18s