Skip to content

Actions: os-checker/distributed-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #85 from os-checker/verify-rust-std Run Tests #147: Commit 764a81b pushed by zjp-CN
June 29, 2025 14:29 9m 14s main
main
June 29, 2025 14:29 9m 14s
Merge pull request #85 from os-checker/verify-rust-std Deploy Doc #35: Commit 764a81b pushed by zjp-CN
June 29, 2025 14:29 1m 30s main
main
June 29, 2025 14:29 1m 30s
test: dbg! count instead of taking a snapshot due to arch difference Run Tests #146: Commit 95aeda4 pushed by zjp-CN
June 29, 2025 14:17 10m 36s verify-rust-std
verify-rust-std
June 29, 2025 14:17 10m 36s
test: remove standard_proof_simple.rs Run Tests #145: Commit f18d00c pushed by zjp-CN
June 29, 2025 14:04 8m 35s verify-rust-std
verify-rust-std
June 29, 2025 14:04 8m 35s
test: fix searched fn names in compare Run Tests #144: Commit d9c2db1 pushed by zjp-CN
June 26, 2025 13:55 7m 44s verify-rust-std
verify-rust-std
June 26, 2025 13:55 7m 44s
fix: insert callees in set_callees Run Tests #143: Commit 7952533 pushed by zjp-CN
June 26, 2025 13:37 6m 17s verify-rust-std
verify-rust-std
June 26, 2025 13:37 6m 17s
refactor: replace old SerFunction by SimplifiedSerFunction Run Tests #142: Commit bed2d32 pushed by zjp-CN
June 22, 2025 15:01 5m 57s verify-rust-std
verify-rust-std
June 22, 2025 15:01 5m 57s
Merge pull request #83 from os-checker/verify-rust-std Run Tests #141: Commit a2f8ef1 pushed by zjp-CN
June 20, 2025 15:48 7m 29s main
main
June 20, 2025 15:48 7m 29s
Merge pull request #83 from os-checker/verify-rust-std Deploy Doc #34: Commit a2f8ef1 pushed by zjp-CN
June 20, 2025 15:48 1m 28s main
main
June 20, 2025 15:48 1m 28s
tests: update snapshots due to mangled_name removed Run Tests #140: Commit 06fb9ac pushed by zjp-CN
June 20, 2025 15:26 7m 20s verify-rust-std
verify-rust-std
June 20, 2025 15:26 7m 20s
chore: download-artifact adds extract_harness Run Tests #139: Commit 9bbf43f pushed by zjp-CN
June 20, 2025 14:06 7m 16s verify-rust-std
verify-rust-std
June 20, 2025 14:06 7m 16s
chore: download-artifact to artifacts folder Run Tests #138: Commit da911cf pushed by zjp-CN
June 20, 2025 13:50 6m 52s verify-rust-std
verify-rust-std
June 20, 2025 13:50 6m 52s
chore: jq cmd for comparison if some proofs are missing Run Tests #137: Commit 694cdb5 pushed by zjp-CN
June 20, 2025 07:29 7m 13s verify-rust-std
verify-rust-std
June 20, 2025 07:29 7m 13s
tests: update core_json snapshot Run Tests #136: Commit 924a62a pushed by zjp-CN
June 20, 2025 07:00 7m 28s verify-rust-std
verify-rust-std
June 20, 2025 07:00 7m 28s
ci: fix local path in testing kani-list_verify-rust-std.json Run Tests #135: Commit 4396340 pushed by zjp-CN
June 20, 2025 04:47 7m 12s verify-rust-std
verify-rust-std
June 20, 2025 04:47 7m 12s
ci: merge test and verify-rust-std jobs Run Tests #134: Commit 6473945 pushed by zjp-CN
June 20, 2025 04:32 7m 14s verify-rust-std
verify-rust-std
June 20, 2025 04:32 7m 14s
ci: install-kani via cargo build-dev -- --release Run Tests #133: Commit 60e0a50 pushed by zjp-CN
June 20, 2025 04:24 8m 14s verify-rust-std
verify-rust-std
June 20, 2025 04:24 8m 14s
diff: define MergedHarnesses Run Tests #132: Commit 592c8f8 pushed by zjp-CN
June 20, 2025 04:20 6m 34s verify-rust-std
verify-rust-std
June 20, 2025 04:20 6m 34s
feat: define KaniListJson and snapshot on totals Run Tests #131: Commit 35ced86 pushed by zjp-CN
June 19, 2025 13:45 5m 57s verify-rust-std
verify-rust-std
June 19, 2025 13:45 5m 57s
chore: move distributed-verification main.rs to src/bin Run Tests #130: Commit b6b9071 pushed by zjp-CN
June 19, 2025 13:19 6m 20s verify-rust-std
verify-rust-std
June 19, 2025 13:19 6m 20s
assets: add kani-list_verify-rust-std.json Run Tests #129: Commit 6741c09 pushed by zjp-CN
June 19, 2025 12:03 5m 55s verify-rust-std
verify-rust-std
June 19, 2025 12:03 5m 55s
assets: add kani-list_verify-rust-std.json Run Tests #128: Commit fb09851 pushed by zjp-CN
June 19, 2025 12:02 6m 3s verify-rust-std
verify-rust-std
June 19, 2025 12:02 6m 3s
Merge pull request #79 from os-checker/verify-rust-std Run Tests #127: Commit 9a49e0c pushed by zjp-CN
June 19, 2025 02:45 5m 49s main
main
June 19, 2025 02:45 5m 49s
Merge pull request #79 from os-checker/verify-rust-std Deploy Doc #33: Commit 9a49e0c pushed by zjp-CN
June 19, 2025 02:45 1m 19s main
main
June 19, 2025 02:45 1m 19s
chore Run Tests #126: Commit 42abed7 pushed by zjp-CN
June 19, 2025 02:44 5m 57s verify-rust-std
verify-rust-std
June 19, 2025 02:44 5m 57s