Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,874 workflow runs
1,874 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 0.4.68 Release KMIR #139: Commit 4f4d9d2 pushed by rv-jenkins
8m 46s release
release
8m 46s
Add pointer equality semantics (#736) Master Push #132: Commit 54bcf07 pushed by automergerpr-permission-manager bot
16s master
master
16s
Add pointer equality semantics Test #3935: Pull request #736 synchronize by Stevengre
9m 47s feature/ref-ptr-cases
feature/ref-ptr-cases
9m 47s
Add pointer equality semantics Test #3934: Pull request #736 opened by Stevengre
19m 5s feature/ref-ptr-cases
feature/ref-ptr-cases
19m 5s
Update feature/p-token with origin/master (#734) Release P-Token KMIR #7: Commit 024f2d3 pushed by Stevengre
5m 26s feature/p-token
feature/p-token
5m 26s
Update feature/p-token with origin/master Test #3933: Pull request #734 opened by Stevengre
18m 26s merge-master2ptoken
merge-master2ptoken
18m 26s
Merge changes into p-token Test #3932: Pull request #733 opened by Stevengre
20m 6s master
master
20m 6s
Set Version: 0.4.67 Release KMIR #138: Commit 2f51648 pushed by rv-jenkins
7m 12s release
release
7m 12s
HOTFIX: avoid bitRangeInt function for branching (#switchInt) (#732) Master Push #131: Commit 2fb4f61 pushed by Stevengre
10s master
master
10s
HOTFIX: avoid bitRangeInt function for branching (#switchInt) Test #3931: Pull request #732 opened by jberthold
17m 0s HOTFIX-replace-bitRangeInt-for-better-branching
HOTFIX-replace-bitRangeInt-for-better-branching
17m 0s
Set Version: 0.4.66 Release KMIR #137: Commit 81d07fe pushed by rv-jenkins
5m 46s release
release
5m 46s
Decode strings (#731) Master Push #130: Commit d401761 pushed by jberthold
15s master
master
15s
Update dependency: deps/k_release Test #3930: Pull request #730 synchronize by rv-jenkins
1h 10m 25s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 10m 25s
flake.{nix,lock}: update Nix derivations Update Dependencies #74: Commit 0a6c598 pushed by rv-jenkins
21s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
21s
Update dependency: deps/k_release Test #3929: Pull request #730 synchronize by juliankuners
1m 3s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1m 3s
adapt requires-python from ~= to >= in pyproject.toml Update Dependencies #73: Commit 12288c8 pushed by juliankuners
33s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
33s
Decode strings Test #3928: Pull request #731 synchronize by tothtamas28
14m 27s decode-str
decode-str
14m 27s
Decode strings Test #3927: Pull request #731 opened by tothtamas28
31s decode-str
decode-str
31s
Set Version: 0.4.65 Release KMIR #136: Commit 0c0d9a7 pushed by rv-jenkins
5m 54s release
release
5m 54s
Remove alloc decoding from the K definition (#729) Master Push #129: Commit 8fba85a pushed by automergerpr-permission-manager bot
16s master
master
16s
Remove alloc decoding from the K definition Test #3926: Pull request #729 synchronize by tothtamas28
14m 4s remove-k-decoding
remove-k-decoding
14m 4s
Remove alloc decoding from the K definition Test #3925: Pull request #729 synchronize by tothtamas28
17m 0s remove-k-decoding
remove-k-decoding
17m 0s
Update dependency: deps/k_release Test #3924: Pull request #730 synchronize by rv-jenkins
25m 32s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
25m 32s
deps/k_release: Set Version 7.1.297 Update Dependencies #72: Commit a691f14 pushed by rv-jenkins
14s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
14s
Update dependency: deps/k_release Test #3923: Pull request #730 synchronize by rv-jenkins
20m 36s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
20m 36s