Skip to content

Actions: runtimeverification/kup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add telemetry support Build and Test PR #189: Pull request #144 synchronize by anvacaru
35s kup-telemetry
kup-telemetry
35s
Add telemetry support Build and Test PR #188: Pull request #144 opened by anvacaru
31s kup-telemetry
kup-telemetry
31s
WIP: Machine-readable output Build and Test PR #187: Pull request #143 opened by RaoulSchaffranek
38s raoul/machine-readable-output
raoul/machine-readable-output
38s
Add skribe (#142) Master Push #74: Commit d4954e1 pushed by automergerpr-permission-manager bot
2m 42s master
master
2m 42s
Add skribe Build and Test PR #186: Pull request #142 opened by bbyalcinkaya
1m 8s add-skribe
add-skribe
1m 8s
Upgrade Install Nix Action (#141) Master Push #73: Commit ba73512 pushed by F-WRunTime
2m 19s master
master
2m 19s
Upgrade Install Nix Action Build and Test PR #185: Pull request #141 synchronize by F-WRunTime
1m 2s update/kup_WF_nix_version
update/kup_WF_nix_version
1m 2s
Upgrade Install Nix Action Build and Test PR #184: Pull request #141 opened by F-WRunTime
1m 8s update/kup_WF_nix_version
update/kup_WF_nix_version
1m 8s
Update to macOS latest Version (#140) Master Push #72: Commit 9328f50 pushed by automergerpr-permission-manager bot
39s master
master
39s
Update to macOS latest Version Build and Test PR #183: Pull request #140 opened by F-WRunTime
1m 1s macos/update-macos-latest
macos/update-macos-latest
1m 1s
Change kmir branch from master to release (#139) Master Push #71: Commit 3b4e473 pushed by automergerpr-permission-manager bot
28s master
master
28s
Change kmir branch from master to release Build and Test PR #182: Pull request #139 opened by juliankuners
1m 7s kmir-change-master-to-release
kmir-change-master-to-release
1m 7s
Update nix flake inputs structure and add rv-nix-tools to a new dep… Master Push #70: Commit 5572518 pushed by automergerpr-permission-manager bot
1d 0h 0m 2s master
master
1d 0h 0m 2s
Update nix flake inputs structure and add rv-nix-tools to a new dependency update workflow Build and Test PR #181: Pull request #134 synchronize by juliankuners
3m 30s update-deps-rv-nix-tools
update-deps-rv-nix-tools
3m 30s
Update nix flake inputs structure and add rv-nix-tools to a new dependency update workflow Build and Test PR #180: Pull request #134 opened by juliankuners
3m 23s update-deps-rv-nix-tools
update-deps-rv-nix-tools
3m 23s
Fix branch for installed packages (#133) Master Push #69: Commit b880979 pushed by juliankuners
1d 0h 0m 1s master
master
1d 0h 0m 1s
Fix branch for installed packages Build and Test PR #179: Pull request #133 synchronize by juliankuners
56s branch-fix
branch-fix
56s
Fix branch for installed packages Build and Test PR #178: Pull request #133 synchronize by juliankuners
1m 2s branch-fix
branch-fix
1m 2s
Fix branch for installed packages Build and Test PR #177: Pull request #133 opened by juliankuners
35s branch-fix
branch-fix
35s
Adding mir-semantics (kmir) to kup Build and Test PR #176: Pull request #132 synchronize by F-WRunTime
1m 4s feature/kmir-installation
feature/kmir-installation
1m 4s
Adding mir-semantics (kmir) to kup Build and Test PR #175: Pull request #132 opened by F-WRunTime
1m 3s feature/kmir-installation
feature/kmir-installation
1m 3s
Omit the branch name when matching packages in manifest.json (#131) Master Push #68: Commit ead48a2 pushed by anvacaru
4m 9s master
master
4m 9s
Omit the branch name when matching packages in manifest.json Build and Test PR #174: Pull request #131 opened by anvacaru
1m 1s anvacaru/list_kontrol
anvacaru/list_kontrol
1m 1s
Shorten hashes in kup list in narrow terminal (#125) Master Push #67: Commit f64d170 pushed by anvacaru
4m 15s master
master
4m 15s
Shorten hashes in kup list in narrow terminal Build and Test PR #173: Pull request #125 synchronize by anvacaru
1m 13s sam/list-width-adaptive
sam/list-width-adaptive
1m 13s