Skip to content

Actions: verus-lang/verus

Actions

pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
870 workflow runs
870 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
Add toolchain manifest for Release 0.2026.08.23.fbbbbcf (#2845) pages #2609: Commit 30f054f pushed by github-merge-queue Bot
4m 7s main
main
4m 7s
Update crate version numbers (#2844) pages #2608: Commit fbbbbcf pushed by github-merge-queue Bot
4m 38s main
main
4m 38s
use sub tag instead of small tag in pull_request_template (#2838) pages #2607: Commit eb66c53 pushed by github-merge-queue Bot
4m 19s main
main
4m 19s
[CI] feat: the Release flow adds a new toolchain manifest (#2829) pages #2606: Commit 11eda20 pushed by github-merge-queue Bot
4m 20s main
main
4m 20s
Add triggers to cvc5 height/partial-order prelude axioms (#2825) pages #2605: Commit c8736a3 pushed by github-merge-queue Bot
4m 44s main
main
4m 44s
fix the pattern soundness issue (#2824) pages #2604: Commit 8d3dedc pushed by github-merge-queue Bot
4m 39s main
main
4m 39s
Delete stale builtin/builtin_macros crate in cargo-verus example (#2680) pages #2603: Commit 74e001a pushed by github-merge-queue Bot
4m 47s main
main
4m 47s
[cargo-verus] feat: partial verification needs focus mode (#2828) pages #2602: Commit 63c1bc4 pushed by github-merge-queue Bot
4m 8s main
main
4m 8s
[rust_verify] fix: rerun-if-changed paths in build.rs (#2826) pages #2601: Commit 14b7f84 pushed by github-merge-queue Bot
4m 1s main
main
4m 1s
[CI] feat: release.yml performs a clean build (#2796) pages #2600: Commit 5d26023 pushed by github-merge-queue Bot
4m 45s main
main
4m 45s
docs: update BUILD.md with info on the Cargo-only build (#2807) pages #2599: Commit 2e33f3c pushed by github-merge-queue Bot
7m 12s main
main
7m 12s
Add verifier::impls_cannot_extend_spec attribute (#2780) pages #2598: Commit e994118 pushed by github-merge-queue Bot
7m 15s main
main
7m 15s
Add specs for format macro to std_specs (#2787) pages #2597: Commit af03798 pushed by github-merge-queue Bot
4m 57s main
main
4m 57s
Fix RangeInclusive::end_bound, switch from SpecBound to Bound (#2801) pages #2596: Commit 919a438 pushed by github-merge-queue Bot
4m 28s main
main
4m 28s
vstd: fix unsound RangeInclusive::end_bound spec for exhausted ranges… pages #2595: Commit f5efac0 pushed by github-merge-queue Bot
4m 32s main
main
4m 32s
Support const generics in struct_with_invariants (#2823) pages #2594: Commit a9fc68c pushed by github-merge-queue Bot
4m 31s main
main
4m 31s
verita: add verismo project into verita test (#2816) pages #2593: Commit c9bc509 pushed by github-merge-queue Bot
4m 42s main
main
4m 42s
vstd: add recommends check for get_variant/is_variant enum accessors … pages #2592: Commit 3b89aec pushed by github-merge-queue Bot
5m 26s main
main
5m 26s
Add a policy on AI-based contributions (#2677) pages #2591: Commit b0286dd pushed by github-merge-queue Bot
4m 30s main
main
4m 30s
[cargo-verus] fix: silence the "nothing to verify" warning when build… pages #2590: Commit 7d4628a pushed by github-merge-queue Bot
4m 28s main
main
4m 28s
[verus] feat: look for concrete components instead of verus-root (#… pages #2589: Commit 58eb13e pushed by github-merge-queue Bot
4m 43s main
main
4m 43s
Support local definitions inside closures (#2815) pages #2588: Commit 936084f pushed by github-merge-queue Bot
3m 57s main
main
3m 57s
line_count: refactor and improve CLI (#2756) pages #2587: Commit bc0fc9f pushed by github-merge-queue Bot
4m 56s main
main
4m 56s
Fixes #2798 (#2800) pages #2586: Commit eff82b8 pushed by github-merge-queue Bot
4m 40s main
main
4m 40s
Handle raw borrows during erasure (#2812) pages #2585: Commit 795f1c4 pushed by github-merge-queue Bot
4m 27s main
main
4m 27s