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
Added decoding for static references Test #5227: Pull request #1091 opened by dkcumming
13m 36s dc/decode-statics
dc/decode-statics
13m 36s
Set Version: 0.4.223 Release KMIR #294: Commit 2352a2e pushed by deosa-arch
5m 21s release
release
5m 21s
Graph Update: uv in /kmir #1426517944 Dependency Graph #5: by dependabot Bot
31s master
master
31s
Update dependency: deps/k_release (#1089) Master Push #283: Commit 7bce18b pushed by dkcumming
24s master
master
24s
Update features list Test #5226: Pull request #1090 opened by mariaKt
25m 49s mk/status-update
mk/status-update
25m 49s
Update dependency: deps/k_release Test #5225: Pull request #1089 synchronize by deosa-arch
25m 47s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
25m 47s
flake.{nix,lock}: update Nix derivations Update Dependencies #210: Commit 1f37ca3 pushed by deosa-arch
1m 1s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1m 1s
Update dependency: deps/k_release Test #5224: Pull request #1089 synchronize by deosa-arch
37s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
37s
deps/k_release: Set Version 7.1.337 Update Dependencies #209: Commit 6d7e195 pushed by deosa-arch
25s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
25s
Update dependency: deps/k_release Test #5223: Pull request #1089 opened by rv-jenkins
20m 49s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
20m 49s
deps/k_release: Set Version 7.1.336 Update Dependencies #208: Commit 510a6eb pushed by deosa-arch
1m 9s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1m 9s
Set Version: 0.4.222 Release KMIR #293: Commit de359b9 pushed by deosa-arch
5m 33s release
release
5m 33s
Graph Update: uv in /kmir #1418349582 Dependency Graph #4: by dependabot Bot
38s master
master
38s
Update dependency: deps/k_release (#1087) Master Push #282: Commit dd7179d pushed by automergerpr-permission-manager Bot
30s master
master
30s
Update dependency: deps/k_release Test #5222: Pull request #1087 synchronize by deosa-arch
23m 43s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
23m 43s
flake.{nix,lock}: update Nix derivations Update Dependencies #207: Commit 07d1a77 pushed by deosa-arch
1m 20s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1m 20s
Update dependency: deps/k_release Test #5221: Pull request #1087 synchronize by deosa-arch
2m 15s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 15s
deps/k_release: Set Version 7.1.335 Update Dependencies #206: Commit 4ad9eb1 pushed by deosa-arch
1m 56s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1m 56s
Add span information Test #5220: Pull request #1088 opened by mariaKt
24m 31s mk/span-info
mk/span-info
24m 31s
Update dependency: deps/k_release Test #5219: Pull request #1087 synchronize by deosa-arch
35m 33s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
35m 33s
flake.{nix,lock}: update Nix derivations Update Dependencies #205: Commit a038c55 pushed by deosa-arch
22s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
22s
Update dependency: deps/k_release Test #5218: Pull request #1087 opened by rv-jenkins
2m 21s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 21s
deps/k_release: Set Version 7.1.334 Update Dependencies #204: Commit 911a852 pushed by deosa-arch
2m 7s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 7s
Set Version: 0.4.221 Release KMIR #292: Commit ae2984b pushed by deosa-arch
7m 45s release
release
7m 45s
.github/workflows/release.yml: merge nix-cache and nix-binary-cache s… Master Push #281: Commit 29edc92 pushed by automergerpr-permission-manager Bot
29s master
master
29s