Skip to content

Actions: asterinas/rust-deductive-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 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
fix verify-only-module forwarding (#33) Format DV Code #81: Commit 504e219 pushed by Marsman1996
10s main
main
10s
fix verify-only-module forwarding Format DV Code #80: Pull request #33 opened by rikosellic
15s performance-improve
performance-improve
15s
Align with the cargo-verus metadata setting (#32) Format DV Code #79: Commit 4277326 pushed by rikosellic
7m 47s main
main
7m 47s
Align with the cargo-verus metadata setting Format DV Code #78: Pull request #32 opened by rikosellic
11s cargo-feature
cargo-feature
11s
Remove unused environment variables and related functions (#31) Format DV Code #77: Commit d3ed584 pushed by Marsman1996
2m 3s main
main
2m 3s
Remove unused environment variables and related functions Format DV Code #76: Pull request #31 synchronize by rikosellic
9s remove-env
remove-env
9s
Remove unused environment variables and related functions Format DV Code #75: Pull request #31 opened by rikosellic
14s remove-env
remove-env
14s
fix: bring dependency resolution back (#29) Format DV Code #74: Commit d2061d2 pushed by rikosellic
8s main
main
8s
fix: bring dependency resolution back Format DV Code #73: Pull request #29 synchronize by Marsman1996
10s Marsman1996:fix-doc
Marsman1996:fix-doc
10s
fix: bring dependency resolution back Format DV Code #72: Pull request #29 synchronize by Marsman1996
19s Marsman1996:fix-doc
Marsman1996:fix-doc
19s
fix: bring dependency resolution back Format DV Code #71: Pull request #29 opened by Marsman1996
13s Marsman1996:fix-doc
Marsman1996:fix-doc
13s
refactor: use cargo verus instead of Verus (#28) Format DV Code #70: Commit 4f29d1d pushed by rikosellic
9s main
main
9s
refactor: use cargo verus instead of Verus Format DV Code #69: Pull request #28 synchronize by Marsman1996
9s Marsman1996:cargo-verus
Marsman1996:cargo-verus
9s
refactor: use cargo verus instead of Verus Format DV Code #68: Pull request #28 synchronize by Marsman1996
7s Marsman1996:cargo-verus
Marsman1996:cargo-verus
7s
refactor: use cargo verus instead of Verus Format DV Code #67: Pull request #28 synchronize by Marsman1996
10s Marsman1996:cargo-verus
Marsman1996:cargo-verus
10s
refactor: use cargo verus instead of Verus Format DV Code #66: Pull request #28 opened by Marsman1996
18s Marsman1996:cargo-verus
Marsman1996:cargo-verus
18s
add alignment_checker Format DV Code #65: Pull request #27 synchronize by hiroki-chen
10s hiroki-chen:alignment-checker
hiroki-chen:alignment-checker
10s
add alignment_checker Format DV Code #64: Pull request #27 opened by hiroki-chen
9s hiroki-chen:alignment-checker
hiroki-chen:alignment-checker
9s
Normalize hyphens in target names (#26) Format DV Code #63: Commit 5de8011 pushed by rikosellic
11s main
main
11s
Normalize hyphens in target names Format DV Code #62: Pull request #26 opened by rikosellic
1m 6s normalize-package-name
normalize-package-name
1m 6s
sync: verusfmt 0.7.1 edition feature (#25) Format DV Code #61: Commit bdf3997 pushed by Marsman1996
8s main
main
8s
sync: verusfmt 0.7.1 edition feature Format DV Code #60: Pull request #25 opened by Marsman1996
10s Marsman1996:edition
Marsman1996:edition
10s
feat: format specs in ostd (#24) Format DV Code #59: Commit 561c8a2 pushed by Marsman1996
10s main
main
10s
feat: format specs in ostd Format DV Code #58: Pull request #24 opened by Marsman1996
12s Marsman1996:fmt-spec
Marsman1996:fmt-spec
12s
fix: add features for git2 (#23) Format DV Code #57: Commit ddb70f7 pushed by Marsman1996
8s main
main
8s