Skip to content

Actions: model-checking/kani

Actions

Check Std Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-std-check.yml
1,386 workflow runs
1,386 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Strata backend for Kani Check Std Verification #2391: Pull request #4552 synchronize by rahulku
11m 36s rahulku:strata-backend
rahulku:strata-backend
11m 36s
Add Strata backend for Kani Check Std Verification #2390: Pull request #4552 synchronize by rahulku
7m 16s rahulku:strata-backend
rahulku:strata-backend
7m 16s
Add Strata backend for Kani Check Std Verification #2389: Pull request #4552 opened by rahulku
6m 40s rahulku:strata-backend
rahulku:strata-backend
6m 40s
feat: solana AccountInfo generators for proofs Check Std Verification #2388: Pull request #4551 synchronize by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-solana-agent-primitives
kamiyo-ai:kamiyo/kani-solana-agent-primitives
Action required
feat: solana AccountInfo generators for proofs Check Std Verification #2387: Pull request #4551 opened by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-solana-agent-primitives
kamiyo-ai:kamiyo/kani-solana-agent-primitives
Action required
tests(cargo-kani): add solana agent escrow example Check Std Verification #2386: Pull request #4549 opened by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-agentic-program-verification-primitives
kamiyo-ai:kamiyo/kani-agentic-program-verification-primitives
Action required
Bump tests/perf/s2n-quic from db83c40 to 271292f Check Std Verification #2385: Pull request #4548 opened by dependabot bot
4m 37s dependabot/submodules/tests/perf/s2n-quic-271292f
dependabot/submodules/tests/perf/s2n-quic-271292f
4m 37s
Fix workspace feature handling to filter features per-package Check Std Verification #2384: Pull request #4545 synchronize by tautschnig
4m 42s tautschnig:fix-4544
tautschnig:fix-4544
4m 42s
Automatic cargo update to 2026-02-16 Check Std Verification #2383: Pull request #4546 reopened by tautschnig
6m 29s cargo-update-2026-02-16
cargo-update-2026-02-16
6m 29s
Emit SARIF output for Code Scanning Check Std Verification #2382: Pull request #4547 opened by kamiyo-ai
5m 44s kamiyo-ai:kamiyo/sarif-output
kamiyo-ai:kamiyo/sarif-output
5m 44s
Fix workspace feature handling to filter features per-package Check Std Verification #2381: Pull request #4545 opened by tautschnig
5m 22s tautschnig:fix-4544
tautschnig:fix-4544
5m 22s
Create AGENTS.md to guide AI coding assistants Check Std Verification #2380: Pull request #4543 synchronize by tautschnig
4m 48s tautschnig:agents.md
tautschnig:agents.md
4m 48s
Create AGENTS.md to guide AI coding assistants Check Std Verification #2379: Pull request #4543 synchronize by tautschnig
5m 3s tautschnig:agents.md
tautschnig:agents.md
5m 3s
Create AGENTS.md to guide AI coding assistants Check Std Verification #2378: Pull request #4543 opened by tautschnig
5m 26s tautschnig:agents.md
tautschnig:agents.md
5m 26s
Fix float-to-int saturating cast bug Check Std Verification #2377: Pull request #4541 synchronize by tautschnig
6m 13s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
6m 13s
Fix CBMC output parser panic when using SMT solvers Check Std Verification #2376: Pull request #4540 synchronize by tautschnig
5m 22s tautschnig:smt-solver-error
tautschnig:smt-solver-error
5m 22s
Fix atomic compare_exchange to return correct failure status Check Std Verification #2375: Pull request #4542 opened by tautschnig
4m 58s tautschnig:fix-compare_exchange
tautschnig:fix-compare_exchange
4m 58s
Fix float-to-int saturating cast bug Check Std Verification #2374: Pull request #4541 opened by tautschnig
6m 28s tautschnig:fix-saturating-cast
tautschnig:fix-saturating-cast
6m 28s
Fix CBMC output parser panic when using SMT solvers Check Std Verification #2373: Pull request #4540 opened by tautschnig
5m 28s tautschnig:smt-solver-error
tautschnig:smt-solver-error
5m 28s
Fix incorrect kani::index example in loop-contracts documentation Check Std Verification #2372: Pull request #4539 opened by tautschnig
6m 14s tautschnig:loop-contracts-example
tautschnig:loop-contracts-example
6m 14s
env: enable THP via env Check Std Verification #2371: Pull request #4535 synchronize by tautschnig
4m 48s nmanthey:thp-glibc-env
nmanthey:thp-glibc-env
4m 48s
env: enable THP via env Check Std Verification #2370: Pull request #4535 synchronize by tautschnig
3m 49s nmanthey:thp-glibc-env
nmanthey:thp-glibc-env
3m 49s
env: enable THP via env Check Std Verification #2369: Pull request #4535 opened by nmanthey
7m 16s nmanthey:thp-glibc-env
nmanthey:thp-glibc-env
7m 16s
Add progress indicator and log file output for concise terminal output Check Std Verification #2368: Pull request #4528 synchronize by tautschnig
5m 17s tautschnig:progress-bar
tautschnig:progress-bar
5m 17s
Add progress indicator and log file output for concise terminal output Check Std Verification #2367: Pull request #4528 synchronize by tautschnig
5m 51s tautschnig:progress-bar
tautschnig:progress-bar
5m 51s