Skip to content

Actions: runtimeverification/kup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add kup update as alias for kup install (#128) Master Push #66: Commit 2ee30fe pushed by goodlyrottenapple
September 12, 2024 11:01 2m 30s master
master
September 12, 2024 11:01 2m 30s
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 (#127) Master Push #65: Commit f60bf14 pushed by rv-jenkins
September 5, 2024 02:35 3m 5s master
master
September 5, 2024 02:35 3m 5s
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 (#126) Master Push #64: Commit 2619863 pushed by F-WRunTime
August 28, 2024 15:36 3m 30s master
master
August 28, 2024 15:36 3m 30s
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 (#123) Master Push #63: Commit f9aabaf pushed by goodlyrottenapple
August 14, 2024 10:29 2m 48s master
master
August 14, 2024 10:29 2m 48s
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 (#115) Master Push #62: Commit ee27b24 pushed by rv-jenkins
July 10, 2024 10:26 3m 30s master
master
July 10, 2024 10:26 3m 30s
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
Add K_FRAMEWORK_BINARY_CACHE to print_substituters_warning (#118) Master Push #61: Commit dc88ec6 pushed by rv-jenkins
July 10, 2024 10:02 3m 4s master
master
July 10, 2024 10:02 3m 4s
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 (#116) Master Push #60: Commit e78eda6 pushed by rv-jenkins
June 20, 2024 15:02 25m 35s master
master
June 20, 2024 15:02 25m 35s
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 (#113) Master Push #59: Commit 8b2c1b9 pushed by goodlyrottenapple
May 22, 2024 08:56 5m 50s master
master
May 22, 2024 08:56 5m 50s
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 (#109) Master Push #58: Commit e6d5579 pushed by goodlyrottenapple
March 25, 2024 13:26 2m 28s master
master
March 25, 2024 13:26 2m 28s