Skip to content

Actions: symbolicsoft/verifpal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Homebrew formula for 0.53.0 CI #156: Commit 0c959f9 pushed by nadimkobeissi
1m 3s master
master
1m 3s
Scoop update for verifpal version v0.53.0 CI #155: Commit 51f8ce9 pushed by nadimkobeissi
1m 10s master
master
1m 10s
Verifpal 0.53.0 CI #154: Commit 8a73e53 pushed by nadimkobeissi
1m 7s v0.53.0
v0.53.0
1m 7s
Verifpal 0.53.0 CI #153: Commit 8a73e53 pushed by nadimkobeissi
59s master
master
59s
Fix #18 CI #152: Commit 2c8ccfc pushed by nadimkobeissi
58s master
master
58s
Minor nit CI #151: Commit 8344ba6 pushed by nadimkobeissi
1m 28s master
master
1m 28s
Update Cargo.lock CI #150: Commit 3a077ef pushed by nadimkobeissi
14s master
master
14s
Merge pull request #15 from grussdorian/master CI #149: Commit d7e7819 pushed by nadimkobeissi
1m 31s master
master
1m 31s
Migrate to Rust 2024 CI #146: Commit a5e1740 pushed by nadimkobeissi
1m 22s master
master
1m 22s
Migrate to Rust 2024 CI #145: Commit 3fe0b9a pushed by nadimkobeissi
1m 26s master
master
1m 26s
Update Homebrew formula for 0.52.0 CI #144: Commit a84ec76 pushed by nadimkobeissi
1m 13s master
master
1m 13s
Scoop update for verifpal version v0.52.0 CI #143: Commit f755d79 pushed by nadimkobeissi
1m 36s master
master
1m 36s
Verifpal 0.52.0 CI #142: Commit 25a6f68 pushed by nadimkobeissi
1m 29s v0.52.0
v0.52.0
1m 29s
Verifpal 0.52.0 CI #141: Commit 25a6f68 pushed by nadimkobeissi
1m 21s master
master
1m 21s
Remove Claude's planning docs for #14 CI #140: Commit f251472 pushed by nadimkobeissi
1m 0s master
master
1m 0s
Fix #14 CI #139: Commit c7efe74 pushed by nadimkobeissi
1m 27s master
master
1m 27s
Update Homebrew formula for 0.51.0 CI #138: Commit ea4cabd pushed by nadimkobeissi
1m 21s master
master
1m 21s
Scoop update for verifpal version v0.51.0 CI #137: Commit 7fc4bd6 pushed by nadimkobeissi
1m 26s master
master
1m 26s
Verifpal 0.51.0 CI #136: Commit ca9d0e7 pushed by nadimkobeissi
1m 32s v0.51.0
v0.51.0
1m 32s
Verifpal 0.51.0 CI #135: Commit ca9d0e7 pushed by nadimkobeissi
1m 33s master
master
1m 33s
Satisfy clippy CI #134: Commit 2318a84 pushed by nadimkobeissi
1m 31s master
master
1m 31s
cargo fmt CI #133: Commit d0841ab pushed by nadimkobeissi
21s master
master
21s
Fix #13 CI #132: Commit 210f79a pushed by nadimkobeissi
23s master
master
23s
More formal treatment of passwords (#12) CI #131: Commit 501a626 pushed by nadimkobeissi
1m 13s master
master
1m 13s
Do not reveal ad when sending output of AEAD_ENC over the wire CI #130: Commit 35b7ff6 pushed by nadimkobeissi
58s master
master
58s