Skip to content

Actions: runtimeverification/kup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add skribe (#142) Master Push #74: Commit d4954e1 pushed by automergerpr-permission-manager bot
2m 42s master
master
2m 42s
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 (#141) Master Push #73: Commit ba73512 pushed by F-WRunTime
2m 19s master
master
2m 19s
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