Skip to content

Actions: runtimeverification/kup

Actions

Build and Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Migrate from poetry to uv Build and Test PR #200: Pull request #146 synchronize by tothtamas28
29s migrate-to-uv
migrate-to-uv
29s
Migrate from poetry to uv Build and Test PR #199: Pull request #146 synchronize by tothtamas28
40s migrate-to-uv
migrate-to-uv
40s
Migrate from poetry to uv Build and Test PR #198: Pull request #146 synchronize by tothtamas28
25s migrate-to-uv
migrate-to-uv
25s
Migrate from poetry to uv Build and Test PR #197: Pull request #146 opened by tothtamas28
30s migrate-to-uv
migrate-to-uv
30s
Bump python 3.9 -> 3.11 Build and Test PR #196: Pull request #145 synchronize by anvacaru
1m 19s bump-python
bump-python
1m 19s
Bump python 3.9 -> 3.11 Build and Test PR #195: Pull request #145 synchronize by anvacaru
1m 18s bump-python
bump-python
1m 18s
Add telemetry support Build and Test PR #194: Pull request #144 synchronize by anvacaru
30s kup-telemetry
kup-telemetry
30s
Add telemetry support Build and Test PR #193: Pull request #144 synchronize by anvacaru
1m 15s kup-telemetry
kup-telemetry
1m 15s
Add telemetry support Build and Test PR #192: Pull request #144 synchronize by anvacaru
1m 19s kup-telemetry
kup-telemetry
1m 19s
Add telemetry support Build and Test PR #191: Pull request #144 synchronize by anvacaru
1m 10s kup-telemetry
kup-telemetry
1m 10s
Bump python 3.9 -> 3.11 Build and Test PR #190: Pull request #145 opened by anvacaru
1m 6s bump-python
bump-python
1m 6s
Add telemetry support Build and Test PR #189: Pull request #144 synchronize by anvacaru
29s kup-telemetry
kup-telemetry
29s
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 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