Skip to content

Actions: runtimeverification/kup

Actions

Build and Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Omit the branch name when matching packages in manifest.json Build and Test PR #174: Pull request #131 opened by anvacaru
December 2, 2024 11:10 1m 1s anvacaru/list_kontrol
anvacaru/list_kontrol
December 2, 2024 11:10 1m 1s
Shorten hashes in kup list in narrow terminal Build and Test PR #173: Pull request #125 synchronize by anvacaru
December 2, 2024 09:36 1m 13s sam/list-width-adaptive
sam/list-width-adaptive
December 2, 2024 09:36 1m 13s
Add kup update as alias for kup install Build and Test PR #172: Pull request #128 synchronize by goodlyrottenapple
September 12, 2024 10:44 1m 12s sam/add-update-alias
sam/add-update-alias
September 12, 2024 10:44 1m 12s
Add kup update as alias for kup install Build and Test PR #171: Pull request #128 synchronize by goodlyrottenapple
September 11, 2024 12:43 1m 9s sam/add-update-alias
sam/add-update-alias
September 11, 2024 12:43 1m 9s
Add kup update as alias for kup install Build and Test PR #170: Pull request #128 opened by goodlyrottenapple
September 11, 2024 12:41 48s sam/add-update-alias
sam/add-update-alias
September 11, 2024 12:41 48s
Add komet Build and Test PR #169: Pull request #127 opened by goodlyrottenapple
September 4, 2024 17:03 1m 11s sam/add-komet-package
sam/add-komet-package
September 4, 2024 17:03 1m 11s
Update __main__.py: Set kontrol branch reference to release Build and Test PR #168: Pull request #126 opened by F-WRunTime
August 28, 2024 02:42 1m 1s kontrol-branch-change
kontrol-branch-change
August 28, 2024 02:42 1m 1s
Shorten hashes in kup list in narrow terminal Build and Test PR #167: Pull request #125 synchronize by goodlyrottenapple
August 20, 2024 10:44 59s sam/list-width-adaptive
sam/list-width-adaptive
August 20, 2024 10:44 59s
Shorten hashes in kup list in narrow terminal Build and Test PR #166: Pull request #125 opened by goodlyrottenapple
August 20, 2024 10:01 1m 4s sam/list-width-adaptive
sam/list-width-adaptive
August 20, 2024 10:01 1m 4s
Fix tagged commits listing for non-master branches Build and Test PR #165: Pull request #123 synchronize by goodlyrottenapple
August 13, 2024 15:41 1m 6s sam/kevm-branch-tag-fix
sam/kevm-branch-tag-fix
August 13, 2024 15:41 1m 6s
Fix tagged commits listing for non-master branches Build and Test PR #164: Pull request #123 opened by goodlyrottenapple
August 13, 2024 15:40 39s sam/kevm-branch-tag-fix
sam/kevm-branch-tag-fix
August 13, 2024 15:40 39s
Refresh when installing new package Build and Test PR #163: Pull request #115 synchronize by goodlyrottenapple
July 10, 2024 10:04 59s sam/nix-refresh
sam/nix-refresh
July 10, 2024 10:04 59s
Refresh when installing new package Build and Test PR #162: Pull request #115 synchronize by goodlyrottenapple
July 10, 2024 09:57 1m 8s sam/nix-refresh
sam/nix-refresh
July 10, 2024 09:57 1m 8s
Add K_FRAMEWORK_BINARY_CACHE to print_substituters_warning Build and Test PR #161: Pull request #118 opened by Coda-Coda
July 1, 2024 08:47 1m 9s Coda-Coda:improve-print_substituters_warning
Coda-Coda:improve-print_substituters_warning
July 1, 2024 08:47 1m 9s
Update kup package list Build and Test PR #160: Pull request #116 synchronize by goodlyrottenapple
June 20, 2024 14:30 1m 5s sam/package-list-update
sam/package-list-update
June 20, 2024 14:30 1m 5s
Update kup package list Build and Test PR #159: Pull request #116 opened by goodlyrottenapple
June 7, 2024 05:52 1m 9s sam/package-list-update
sam/package-list-update
June 7, 2024 05:52 1m 9s
Refresh when installing new package Build and Test PR #158: Pull request #115 opened by goodlyrottenapple
June 7, 2024 05:42 1m 0s sam/nix-refresh
sam/nix-refresh
June 7, 2024 05:42 1m 0s
Refresh on nix copy Build and Test PR #157: Pull request #113 opened by goodlyrottenapple
May 22, 2024 08:52 1m 3s sam/refresh-on-copy
sam/refresh-on-copy
May 22, 2024 08:52 1m 3s
Guard for verbose flag Build and Test PR #156: Pull request #109 opened by goodlyrottenapple
March 25, 2024 13:13 1m 13s sam/verbose-guard
sam/verbose-guard
March 25, 2024 13:13 1m 13s
Nix referesh fix Build and Test PR #155: Pull request #106 opened by goodlyrottenapple
March 8, 2024 14:43 1m 11s sam/nix-refresh-fix
sam/nix-refresh-fix
March 8, 2024 14:43 1m 11s
Add --version to kup list Build and Test PR #154: Pull request #104 opened by goodlyrottenapple
March 7, 2024 14:13 1m 5s sam/list-input-version
sam/list-input-version
March 7, 2024 14:13 1m 5s
Force refresh when nix fetches metadata Build and Test PR #153: Pull request #103 synchronize by goodlyrottenapple
March 7, 2024 12:45 1m 5s sam/nix-refresh-and-verbose
sam/nix-refresh-and-verbose
March 7, 2024 12:45 1m 5s
Force refresh when nix fetches metadata Build and Test PR #152: Pull request #103 synchronize by goodlyrottenapple
March 7, 2024 12:37 47s sam/nix-refresh-and-verbose
sam/nix-refresh-and-verbose
March 7, 2024 12:37 47s
Force refresh when nix fetches metadata Build and Test PR #151: Pull request #103 opened by goodlyrottenapple
March 7, 2024 12:36 36s sam/nix-refresh-and-verbose
sam/nix-refresh-and-verbose
March 7, 2024 12:36 36s
Show local checkout and revs in kup list Build and Test PR #150: Pull request #102 synchronize by goodlyrottenapple
March 7, 2024 11:56 1m 8s sam/list-tweaks
sam/list-tweaks
March 7, 2024 11:56 1m 8s