Skip to content

Actions: Kab1r/devirt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 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
Update dependency verus-lang/verus to release/0.2026.04.24.f8e1704 (#31) CI #117: Commit 6d1d3a8 pushed by renovate Bot
1m 2s main
main
1m 2s
Verify Verify #34: Scheduled
1h 1m 8s main
main
1h 1m 8s
Update dependency verus-lang/verus to release/0.2026.04.24.f8e1704 CI #116: Pull request #31 opened by renovate Bot
58s renovate/verus
renovate/verus
58s
Lock file maintenance CI #115: Pull request #30 opened by renovate Bot
1m 3s renovate/lock-file-maintenance
renovate/lock-file-maintenance
1m 3s
Support associated types and generic trait parameters (#25) CI #114: Commit c645c29 pushed by Kab1r
56s main
main
56s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #113: Pull request #26 synchronize by Kab1r
46s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
46s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #112: Pull request #26 synchronize by Kab1r
46s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
46s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #111: Pull request #26 synchronize by Kab1r
55s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
55s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #110: Pull request #26 synchronize by Kab1r
55s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
55s
Support associated types and generic trait parameters CI #109: Pull request #25 synchronize by Kab1r
1m 0s claude/add-associated-types-VqblH
claude/add-associated-types-VqblH
1m 0s
Update Rust crate vstd to v0.0.0-2026-04-20-1748 (#29) CI #108: Commit b1231c5 pushed by renovate Bot
44s main
main
44s
Update Rust crate vstd to v0.0.0-2026-04-20-1748 CI #107: Pull request #29 opened by renovate Bot
55s renovate/verus
renovate/verus
55s
Update dependency verus-lang/verus to release/0.2026.04.19.6f7d4de (#28) CI #106: Commit a974f0d pushed by renovate Bot
58s main
main
58s
Update dependency verus-lang/verus to release/0.2026.04.19.6f7d4de CI #105: Pull request #28 opened by renovate Bot
55s renovate/verus
renovate/verus
55s
Verify Verify #33: Scheduled
1h 1m 9s main
main
1h 1m 9s
Update Rust crate vstd to v0.0.0-2026-04-19-0121 (#27) CI #104: Commit af19f56 pushed by renovate Bot
56s main
main
56s
Update Rust crate vstd to v0.0.0-2026-04-19-0121 CI #103: Pull request #27 opened by renovate Bot
57s renovate/verus
renovate/verus
57s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #102: Pull request #26 synchronize by Kab1r
44s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
44s
Support associated types and generic trait parameters CI #101: Pull request #25 synchronize by Kab1r
58s claude/add-associated-types-VqblH
claude/add-associated-types-VqblH
58s
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0% CI #100: Pull request #26 opened by Kab1r
41s claude/rust-devirt-benchmarks-XiuNc
claude/rust-devirt-benchmarks-XiuNc
41s
Support associated types and generic trait parameters CI #99: Pull request #25 opened by Kab1r
57s claude/add-associated-types-VqblH
claude/add-associated-types-VqblH
57s
Lock file maintenance (#21) CI #98: Commit 4be945b pushed by Kab1r
1m 10s main
main
1m 10s
Support where clauses on traits and generic impl blocks (#24) CI #97: Commit 6ef5435 pushed by Kab1r
1m 22s main
main
1m 22s
Support where clauses on traits and generic impl blocks CI #96: Pull request #24 opened by Kab1r
48s claude/where-clauses-generic-impls
claude/where-clauses-generic-impls
48s
Update actions/cache digest to 27d5ce7 (#23) CI #95: Commit d45181f pushed by Kab1r
1m 0s main
main
1m 0s