Skip to content

Actions: asterinas/rust-deductive-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add upstream-verus option (#20) Format DV Code #50: Commit 55b3285 pushed by rikosellic
9s main
main
9s
Add upstream-verus option Format DV Code #49: Pull request #20 opened by rikosellic
10s upstream-verus
upstream-verus
10s
fix: return error if doc generation fail Format DV Code #48: Commit b8b171f pushed by Marsman1996
12s main
main
12s
feat: add json output option for documentation generation Format DV Code #47: Commit 5743096 pushed by Marsman1996
9s main
main
9s
Change dv doc options (#19) Format DV Code #46: Commit a0da372 pushed by rikosellic
10s main
main
10s
Change dv doc options Format DV Code #45: Pull request #19 opened by rikosellic
9s change-verus-conds-option
change-verus-conds-option
9s
fix: log error message on verification failure Format DV Code #44: Commit 5507d67 pushed by Marsman1996
9s main
main
9s
Fix crate name (#18) Format DV Code #43: Commit bb8a4ea pushed by rikosellic
11s main
main
11s
Fix crate name Format DV Code #42: Pull request #18 opened by rikosellic
8s rikosellic:fix-rustdoc
rikosellic:fix-rustdoc
8s
Adjust verusdoc dependencies (#17) Format DV Code #41: Commit 661959a pushed by rikosellic
14s main
main
14s
Adjust verusdoc dependencies Format DV Code #40: Pull request #17 opened by rikosellic
9s rikosellic:fix-verusdoc
rikosellic:fix-verusdoc
9s
Create target directory if it does not exist Format DV Code #39: Commit 3db82be pushed by Marsman1996
8s main
main
8s
Fix log (#16) Format DV Code #38: Commit 80bfc75 pushed by rikosellic
12s main
main
12s
Fix --log Format DV Code #37: Pull request #16 opened by rikosellic
9s rikosellic:log-all
rikosellic:log-all
9s
minor (#15) Format DV Code #36: Commit 5f92fde pushed by rikosellic
8s main
main
8s
minor Format DV Code #35: Pull request #15 synchronize by rikosellic
11s rikosellic:bug-fix
rikosellic:bug-fix
11s
minor Format DV Code #34: Pull request #15 opened by rikosellic
9s rikosellic:bug-fix
rikosellic:bug-fix
9s
Add doc command (#14) Format DV Code #33: Commit f008182 pushed by rikosellic
7s main
main
7s
Add doc command Format DV Code #32: Pull request #14 opened by rikosellic
8s rikosellic:doc-command
rikosellic:doc-command
8s
Replace test_branch with branch (#13) Format DV Code #31: Commit a4eef24 pushed by rikosellic
11s main
main
11s
Replace test_branch option with branch Format DV Code #30: Pull request #13 opened by rikosellic
11s rikosellic:branch-option
rikosellic:branch-option
11s
Fix dependency analysis and simplify compilation code (#12) Format DV Code #29: Commit 9482297 pushed by rikosellic
16s main
main
16s
Fix dependency analysis and simplify compilation code Format DV Code #28: Pull request #12 opened by rikosellic
8s rikosellic:merge-cargo-verus
rikosellic:merge-cargo-verus
8s
Remove explicit verus_builtin and verus_builtin_macros dependency (#11) Format DV Code #27: Commit b444971 pushed by rikosellic
14s main
main
14s
Remove explicit verus_builtin and verus_builtin_macros dependency Format DV Code #26: Pull request #11 opened by rikosellic
13s rikosellic:remove-explicit-dependency
rikosellic:remove-explicit-dependency
13s