Skip to content

Actions: asterinas/rust-deductive-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 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: re-enable count_line (#41) Format DV Code #105: Commit f601298 pushed by rikosellic
8s main
main
8s
refactor: add line counting command for Verus source files Format DV Code #104: Pull request #41 synchronize by Marsman1996
11s Marsman1996:fix-count_line
Marsman1996:fix-count_line
11s
chore: remove verus-root marker file (#43) Format DV Code #103: Commit aafadf5 pushed by rikosellic
9s main
main
9s
chore: remove verus-root marker file Format DV Code #102: Pull request #43 opened by rikosellic
11s remove-verus-root
remove-verus-root
11s
refactor: add line counting command for Verus source files Format DV Code #101: Pull request #41 synchronize by Marsman1996
12s Marsman1996:fix-count_line
Marsman1996:fix-count_line
12s
feat: support Cargo features in verify and build (#42) Format DV Code #100: Commit 9543854 pushed by Marsman1996
11s main
main
11s
Support Cargo features in verify and build Format DV Code #99: Pull request #42 synchronize by hiroki-chen
14s hiroki-chen:feat/verify-features
hiroki-chen:feat/verify-features
14s
Support Cargo features in verify and build Format DV Code #98: Pull request #42 opened by hiroki-chen
2m 53s hiroki-chen:feat/verify-features
hiroki-chen:feat/verify-features
2m 53s
refactor: add line counting command for Verus source files Format DV Code #97: Pull request #41 opened by Marsman1996
14s Marsman1996:fix-count_line
Marsman1996:fix-count_line
14s
chore: use DLL_PREFIX, DLL_SUFFIX instead of custom DYN_LIB (#40) Format DV Code #96: Commit e07a058 pushed by Marsman1996
11s main
main
11s
chore: use DLL_PREFIX, DLL_SUFFIX instead of custom DYN_LIB Format DV Code #95: Pull request #40 opened by Marsman1996
13s chore-prefix
chore-prefix
13s
feat: support irc11 build args (#39) Format DV Code #94: Commit 3083721 pushed by Marsman1996
8s main
main
8s
Support irc11 build args Format DV Code #93: Pull request #39 synchronize by hiroki-chen
7s hiroki-chen:support-irc11-build-args
hiroki-chen:support-irc11-build-args
7s
Support irc11 build args Format DV Code #92: Pull request #39 opened by hiroki-chen
15s hiroki-chen:support-irc11-build-args
hiroki-chen:support-irc11-build-args
15s
refactor: bootstrap process (#38) Format DV Code #91: Commit cde5038 pushed by rikosellic
18s main
main
18s
refactor: bootstrap process Format DV Code #90: Pull request #38 opened by rikosellic
8s cargo-instead-of-vargo
cargo-instead-of-vargo
8s
fix(doc): align build and doc targets for verus compatibility (#37) Format DV Code #89: Commit 9205a9e pushed by rikosellic
17s main
main
17s
refactor(doc): align build and doc targets for verus compatibility Format DV Code #88: Pull request #37 opened by Marsman1996
10s Marsman1996:fix-doc-arch
Marsman1996:fix-doc-arch
10s
fix: set x86 as verification target (#36) Format DV Code #87: Commit dac47af pushed by rikosellic
9s main
main
9s
fix: set x86 as verification target Format DV Code #86: Pull request #36 opened by rikosellic
8s fix-x86
fix-x86
8s
refactor: unify doc command with stderr filtering (#35) Format DV Code #85: Commit 00d9bc7 pushed by rikosellic
17s main
main
17s
refactor: unify doc command with stderr filtering Format DV Code #84: Pull request #35 opened by Marsman1996
11s Marsman1996:doc-filter
Marsman1996:doc-filter
11s
filter verus_spec warning (#34) Format DV Code #83: Commit fcf0359 pushed by Marsman1996
7s main
main
7s
filter verus_spec warning Format DV Code #82: Pull request #34 opened by rikosellic
46s suppress-verus-spec-warning
suppress-verus-spec-warning
46s
fix verify-only-module forwarding (#33) Format DV Code #81: Commit 504e219 pushed by Marsman1996
10s main
main
10s