Skip to content

Actions: runtimeverification/kup

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Omit the branch name when matching packages in manifest.json (#131) Master Push #68: Commit ead48a2 pushed by anvacaru
4m 9s master
master
4m 9s
Shorten hashes in kup list in narrow terminal (#125) Master Push #67: Commit f64d170 pushed by anvacaru
4m 15s master
master
4m 15s