Skip to content

Actions: model-checking/verify-rust-std

Actions

Flux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flux.yml
510 workflow runs
510 workflow runs

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
LLM-generated contracts for __iterator_get_unchecked Flux #60: Pull request #435 synchronize by tautschnig
2m 52s vonaka:llm_contracts_iterator_get_unchecked
vonaka:llm_contracts_iterator_get_unchecked
2m 52s
Update Kani Metrics Flux #59: Pull request #442 reopened by tautschnig
2m 57s update-kani-metrics
update-kani-metrics
2m 57s
Loop invariants and harnesses for memchr functions Flux #58: Pull request #429 synchronize by thanhnguyen-aws
2m 52s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
2m 52s
Add loop invariants and harnesses for DecimalSeq functions Flux #57: Pull request #439 synchronize by thanhnguyen-aws
2m 53s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
2m 53s
Add loop invariants and harnesses for DecimalSeq functions Flux #56: Pull request #439 synchronize by thanhnguyen-aws
2m 50s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
2m 50s
Add loop invariants and harnesses for DecimalSeq functions Flux #55: Pull request #439 opened by thanhnguyen-aws
2m 41s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
2m 41s
Add Flux specifications to path/bstr/hash/time Flux #54: Pull request #438 synchronize by nilehmann
2m 16s flux-rs:verify-time-rs
flux-rs:verify-time-rs
2m 16s
Add Flux specifications to path/bstr/hash/time Flux #53: Pull request #438 synchronize by nilehmann
3m 59s flux-rs:verify-time-rs
flux-rs:verify-time-rs
3m 59s
Merge subtree update for toolchain nightly-2025-07-31 (#437) Flux #52: Commit cca65d3 pushed by github-merge-queue Bot
4m 28s main
main
4m 28s
Testable Models for SIMD Intrinsics Flux #51: Pull request #423 synchronize by karthikbhargavan
2m 55s cryspen:main
cryspen:main
2m 55s
Testable Models for SIMD Intrinsics Flux #50: Pull request #423 synchronize by karthikbhargavan
3m 15s cryspen:main
cryspen:main
3m 15s
Add Flux specifications to path/bstr/hash/time Flux #49: Pull request #438 opened by nilehmann
3m 44s flux-rs:verify-time-rs
flux-rs:verify-time-rs
3m 44s
Merge subtree update for toolchain nightly-2025-07-31 Flux #48: Pull request #437 reopened by carolynzech
4m 42s sync-2025-07-31
sync-2025-07-31
4m 42s
LLM-generated contracts for __iterator_get_unchecked Flux #47: Pull request #435 synchronize by vonaka
2m 42s vonaka:llm_contracts_iterator_get_unchecked
vonaka:llm_contracts_iterator_get_unchecked
2m 42s
LLM-generated contracts for __iterator_get_unchecked Flux #46: Pull request #435 opened by vonaka
2m 55s vonaka:llm_contracts_iterator_get_unchecked
vonaka:llm_contracts_iterator_get_unchecked
2m 55s
Challenge 1 status update Flux #45: Pull request #433 opened by AlexLB99
2m 34s AlexLB99:complete-transmute
AlexLB99:complete-transmute
2m 34s
Merge subtree update for toolchain nightly-2025-07-30 (#432) Flux #44: Commit 177d0fd pushed by github-merge-queue Bot
4m 48s main
main
4m 48s
Merge subtree update for toolchain nightly-2025-07-30 Flux #43: Pull request #432 synchronize by tautschnig
4m 13s sync-2025-07-30
sync-2025-07-30
4m 13s
Merge subtree update for toolchain nightly-2025-07-21 (#428) Flux #42: Commit 71c5bf3 pushed by github-merge-queue Bot
3m 40s main
main
3m 40s
Add loop_invariant and harness for array reverse Flux #41: Pull request #430 synchronize by thanhnguyen-aws
2m 25s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
2m 25s
Add loop_invariant and harness for array reverse Flux #40: Pull request #430 opened by thanhnguyen-aws
2m 25s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
2m 25s
Merge subtree update for toolchain nightly-2025-07-21 Flux #39: Pull request #428 synchronize by tautschnig
3m 37s sync-2025-07-21
sync-2025-07-21
3m 37s
Loop invariants and harnesses for memchr functions Flux #38: Pull request #429 synchronize by thanhnguyen-aws
2m 38s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
2m 38s
Loop invariants and harnesses for memchr functions Flux #37: Pull request #429 synchronize by thanhnguyen-aws
2m 27s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
2m 27s
Loop invariants and harnesses for memchr functions Flux #36: Pull request #429 synchronize by thanhnguyen-aws
2m 37s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
2m 37s
ProTip! You can narrow down the results and go further in time using created:<2025-07-29 or the other filters available.