Skip to content

Actions: runtimeverification/kup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show overrides in kup list <PKG> --inputs Build and Test PR #207: Pull request #148 opened by dkcumming
56s dc/list-overrides
dc/list-overrides
56s
Count time spent in package installation (#147) Master Push #78: Commit 9cff6f6 pushed by automergerpr-permission-manager bot
2m 39s master
master
2m 39s
Count time spent in package installation Build and Test PR #206: Pull request #147 synchronize by anvacaru
1m 11s install_time
install_time
1m 11s
Count time spent in package installation Build and Test PR #205: Pull request #147 opened by anvacaru
56s install_time
install_time
56s
Add telemetry support (#144) Master Push #77: Commit d664105 pushed by automergerpr-permission-manager bot
4m 19s master
master
4m 19s
Add telemetry support Build and Test PR #204: Pull request #144 synchronize by anvacaru
1m 5s kup-telemetry
kup-telemetry
1m 5s
Add telemetry support Build and Test PR #203: Pull request #144 synchronize by anvacaru
54s kup-telemetry
kup-telemetry
54s
Migrate from poetry to uv (#146) Master Push #76: Commit 4a4811e pushed by automergerpr-permission-manager bot
3m 47s master
master
3m 47s
Migrate from poetry to uv Build and Test PR #202: Pull request #146 synchronize by juliankuners
1m 4s migrate-to-uv
migrate-to-uv
1m 4s
Migrate from poetry to uv Build and Test PR #201: Pull request #146 synchronize by juliankuners
1m 17s migrate-to-uv
migrate-to-uv
1m 17s
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 (#145) Master Push #75: Commit 9ec9050 pushed by anvacaru
14m 19s master
master
14m 19s
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