Skip to content

Actions: microsoft/verified-storage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 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
CodeQL Advanced CodeQL Advanced #80: Scheduled
2m 13s main
main
2m 13s
Update to latest Verus 2026-05-24 CodeQL Advanced #79: Pull request #52 opened by jaylorch
2m 4s verus-2026-05-24
verus-2026-05-24
2m 4s
CodeQL Advanced CodeQL Advanced #78: Scheduled
2m 48s main
main
2m 48s
Add a couple * dereferences to prepare for https://github.com/verus-l… CodeQL Advanced #77: Commit d569f33 pushed by jaylorch
14m 20s main
main
14m 20s
Add a couple * dereferences to prepare for https://github.com/verus-lang/verus/pull/2377 CodeQL Advanced #76: Pull request #51 opened by Chris-Hawblitzel
10m 44s spec-eq
spec-eq
10m 44s
cargo in /unverified/metadata_kv for rand - Update #1361752214 Dependabot Updates #46: by dependabot Bot
56s main
main
56s
Adaptations for the new iterator interface (#48) CodeQL Advanced #75: Commit 5e4d4ce pushed by jaylorch
5m 11s main
main
5m 11s
Adaptations for the upcoming change to the new iterator interface. CodeQL Advanced #74: Pull request #48 synchronize by parno
4m 53s parno:main
parno:main
4m 53s
CodeQL Advanced CodeQL Advanced #72: Scheduled
4m 44s main
main
4m 44s
cargo in /unverified/metadata_kv for rand - Update #1354630761 Dependabot Updates #45: by dependabot Bot
42s main
main
42s
Latest Verus support: resource algebras and mutable refs (#49) CodeQL Advanced #70: Commit 4f15f1f pushed by jaylorch
4m 48s main
main
4m 48s
verus: update to new resource algebras CodeQL Advanced #69: Pull request #49 synchronize by bsdinis
4m 40s bsdinis:bsdinis/oou
bsdinis:bsdinis/oou
4m 40s
verus: update to new resource algebras CodeQL Advanced #68: Pull request #49 synchronize by bsdinis
Action required bsdinis:bsdinis/oou
bsdinis:bsdinis/oou
Action required
CodeQL Advanced CodeQL Advanced #67: Scheduled
5m 5s main
main
5m 5s
verus: update to new resource algebras CodeQL Advanced #66: Pull request #49 opened by bsdinis
Action required bsdinis:bsdinis/oou
bsdinis:bsdinis/oou
Action required
Adaptations for the upcoming change to the new iterator interface. CodeQL Advanced #65: Pull request #48 opened by parno
4m 55s parno:main
parno:main
4m 55s
CodeQL Advanced CodeQL Advanced #64: Scheduled
6m 0s main
main
6m 0s
cargo in /unverified/metadata_kv for rand - Update #1333832324 Dependabot Updates #44: by dependabot Bot
31s main
main
31s
Update to use latest Verus, which uses Rust 1.95.0 (#47) CodeQL Advanced #63: Commit 15f8869 pushed by jaylorch
4m 56s main
main
4m 56s
cargo in /unverified/metadata_kv for rand - Update #1330723507 Dependabot Updates #43: by dependabot Bot
36s main
main
36s
cargo in /multilog/multilog for rand - Update #1330714131 Dependabot Updates #42: by dependabot Bot
36s main
main
36s
Update to use latest Verus, which uses Rust 1.95.0 CodeQL Advanced #62: Pull request #47 synchronize by jaylorch
4m 30s verus-rust-195
verus-rust-195
4m 30s
Copilot code review Copilot code review #3: by Copilot AI
8m 34s refs/pull/47/head
refs/pull/47/head
8m 34s
Update to use latest Verus, which uses Rust 1.95.0 CodeQL Advanced #61: Pull request #47 synchronize by jaylorch
5m 49s verus-rust-195
verus-rust-195
5m 49s
Update to use latest Verus, which uses Rust 1.95.0 CodeQL Advanced #60: Pull request #47 synchronize by jaylorch
7m 1s verus-rust-195
verus-rust-195
7m 1s