Skip to content

Actions: runtimeverification/kup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
July 3, 2025 16:29 1d 0h 0m 2s master
master
July 3, 2025 16:29 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
June 2, 2025 16:27 3m 30s update-deps-rv-nix-tools
update-deps-rv-nix-tools
June 2, 2025 16:27 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
June 2, 2025 10:43 3m 23s update-deps-rv-nix-tools
update-deps-rv-nix-tools
June 2, 2025 10:43 3m 23s
Fix branch for installed packages (#133) Master Push #69: Commit b880979 pushed by juliankuners
May 21, 2025 17:23 1d 0h 0m 1s master
master
May 21, 2025 17:23 1d 0h 0m 1s
Fix branch for installed packages Build and Test PR #179: Pull request #133 synchronize by juliankuners
May 21, 2025 17:15 56s branch-fix
branch-fix
May 21, 2025 17:15 56s
Fix branch for installed packages Build and Test PR #178: Pull request #133 synchronize by juliankuners
May 21, 2025 17:03 1m 2s branch-fix
branch-fix
May 21, 2025 17:03 1m 2s
Fix branch for installed packages Build and Test PR #177: Pull request #133 opened by juliankuners
May 21, 2025 16:40 35s branch-fix
branch-fix
May 21, 2025 16:40 35s
Adding mir-semantics (kmir) to kup Build and Test PR #176: Pull request #132 synchronize by F-WRunTime
March 31, 2025 19:00 1m 4s feature/kmir-installation
feature/kmir-installation
March 31, 2025 19:00 1m 4s
Adding mir-semantics (kmir) to kup Build and Test PR #175: Pull request #132 opened by F-WRunTime
March 31, 2025 18:51 1m 3s feature/kmir-installation
feature/kmir-installation
March 31, 2025 18:51 1m 3s
Omit the branch name when matching packages in manifest.json (#131) Master Push #68: Commit ead48a2 pushed by anvacaru
December 2, 2024 12:55 4m 9s master
master
December 2, 2024 12:55 4m 9s
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 (#125) Master Push #67: Commit f64d170 pushed by anvacaru
December 2, 2024 09:38 4m 15s master
master
December 2, 2024 09:38 4m 15s
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 (#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