Skip to content

Actions: runtimeverification/kup

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Count time spent in package installation (#147) Master Push #78: Commit 9cff6f6 pushed by automergerpr-permission-manager bot
2m 39s master
master
2m 39s
Add telemetry support (#144) Master Push #77: Commit d664105 pushed by automergerpr-permission-manager bot
4m 19s master
master
4m 19s
Migrate from poetry to uv (#146) Master Push #76: Commit 4a4811e pushed by automergerpr-permission-manager bot
3m 47s master
master
3m 47s
Bump python 3.9 -> 3.11 (#145) Master Push #75: Commit 9ec9050 pushed by anvacaru
14m 19s master
master
14m 19s
Add skribe (#142) Master Push #74: Commit d4954e1 pushed by automergerpr-permission-manager bot
2m 42s master
master
2m 42s
Upgrade Install Nix Action (#141) Master Push #73: Commit ba73512 pushed by F-WRunTime
2m 19s master
master
2m 19s
Update to macOS latest Version (#140) Master Push #72: Commit 9328f50 pushed by automergerpr-permission-manager bot
39s master
master
39s
Change kmir branch from master to release (#139) Master Push #71: Commit 3b4e473 pushed by automergerpr-permission-manager bot
28s master
master
28s
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
1d 0h 0m 2s master
master
1d 0h 0m 2s
Fix branch for installed packages (#133) Master Push #69: Commit b880979 pushed by juliankuners
1d 0h 0m 1s master
master
1d 0h 0m 1s