Skip to content

Actions: symbolicsoft/verifpal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 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.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
Fix #11 and add test CI #129: Commit c9522a1 pushed by nadimkobeissi
1m 39s master
master
1m 39s
Update Makefile CI #128: Commit 4eb884b pushed by nadimkobeissi
56s master
master
56s
Update dependencies CI #127: Commit fb089b8 pushed by nadimkobeissi
1m 12s master
master
1m 12s
Fix UI bug discussed in #10 CI #126: Commit b6834b2 pushed by nadimkobeissi
1m 2s master
master
1m 2s
Add TLS 1.3 model (case study in Verifpal current limitations) CI #124: Commit afe7778 pushed by nadimkobeissi
1m 7s master
master
1m 7s
Makefile: remove remnant from Go era CI #123: Commit 44f9850 pushed by nadimkobeissi
1m 2s master
master
1m 2s
Guarding longtermBPub makes Scuttlebutt example more interesting CI #122: Commit e1c9fae pushed by nadimkobeissi
1m 9s master
master
1m 9s
Update Homebrew formula for 0.50.0 CI #121: Commit d9c0bfb pushed by nadimkobeissi
1m 6s master
master
1m 6s
Scoop update for verifpal version v0.50.0 CI #120: Commit e42fee9 pushed by nadimkobeissi
1m 7s master
master
1m 7s
Verifpal 0.50.0 CI #119: Commit 26211ae pushed by nadimkobeissi
1m 9s v0.50.0
v0.50.0
1m 9s