Skip to content

Actions: runtimeverification/kup

Actions

Build and Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Build and Test PR #186: Pull request #142 opened by bbyalcinkaya
1m 8s add-skribe
add-skribe
1m 8s
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 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 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 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 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 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 Build and Test PR #173: Pull request #125 synchronize by anvacaru
1m 13s sam/list-width-adaptive
sam/list-width-adaptive
1m 13s