Skip to content

Actions: symbolicsoft/verifpal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More cleanups CI #84: Commit b6af535 pushed by nadimkobeissi
2m 39s rust
rust
2m 39s
More code cleanup CI #83: Commit 9d4781f pushed by nadimkobeissi
2m 40s rust
rust
2m 40s
More code cleanup CI #82: Commit 15d3d71 pushed by nadimkobeissi
2m 40s rust
rust
2m 40s
Rust: more tests, code cleanup CI #81: Commit ed7d54a pushed by nadimkobeissi
2m 52s rust
rust
2m 52s
Code cleanup (Rust code conventions) CI #80: Commit 9d9d574 pushed by nadimkobeissi
2m 42s rust
rust
2m 42s
Ensure that no displeasure ever reaches the eyes of Lord Clippy CI #79: Commit 9800505 pushed by nadimkobeissi
2m 46s rust
rust
2m 46s
Some fixes CI #78: Commit cc02a8d pushed by nadimkobeissi
20s rust
rust
20s
Refactoring CI #77: Commit e47e69c pushed by nadimkobeissi
3m 1s rust
rust
3m 1s
Add rustfmt.toml CI #76: Commit b3f17cc pushed by nadimkobeissi
3m 11s rust
rust
3m 11s
Add Jevil and Spamton support CI #75: Commit b014be7 pushed by nadimkobeissi
3m 6s rust
rust
3m 6s
Equation Bypass: Targeted MitM Detection for Verifpal CI #74: Commit bff024b pushed by nadimkobeissi
3m 2s rust
rust
3m 2s
More TUI improvements CI #73: Commit a9da39e pushed by nadimkobeissi
3m 16s rust
rust
3m 16s
Add new tests CI #72: Commit 3dfbf19 pushed by nadimkobeissi
3m 30s rust
rust
3m 30s
Ensure the complete satisfaction of Lord Clippy CI #71: Commit cda595b pushed by nadimkobeissi
1m 5s rust
rust
1m 5s
Rust rewrite progress CI #70: Commit 70e36a3 pushed by nadimkobeissi
20s rust
rust
20s
Remove ProVerif/Coq translation feature (unmaintained) CI #69: Commit 2384953 pushed by nadimkobeissi
47s master
master
47s
Brew formula update for verifpal version v0.31.2 CI #68: Commit b1de1ea pushed by nadimkobeissi
1m 19s master
master
1m 19s
Scoop update for verifpal version v0.31.2 CI #67: Commit 374c9ab pushed by nadimkobeissi
1m 17s master
master
1m 17s
Verifpal 0.31.2 CI #66: Commit b493c73 pushed by nadimkobeissi
1m 17s v0.31.2
v0.31.2
1m 17s
Verifpal 0.31.2 CI #65: Commit b493c73 pushed by nadimkobeissi
1m 23s master
master
1m 23s
Fix tests and AEAD check behavior CI #64: Commit 90749a4 pushed by nadimkobeissi
1m 23s master
master
1m 23s
Fix incorrect variable reference CI #63: Commit 24a1138 pushed by nadimkobeissi
1m 25s master
master
1m 25s
Verifpal 0.31.1 CI #62: Commit e7180f1 pushed by nadimkobeissi
1m 23s v0.31.1
v0.31.1
1m 23s
Verifpal 0.31.1 CI #61: Commit e7180f1 pushed by nadimkobeissi
1m 19s master
master
1m 19s
Fix stack depth being exceeded on ARM CI #60: Commit f89c527 pushed by nadimkobeissi
1m 17s master
master
1m 17s