Skip to content

Actions: microsoft/verified-storage

Actions

CodeQL Advanced

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
78 workflow runs
78 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
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
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
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
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
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
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
Update to use latest Verus, which uses Rust 1.95.0 CodeQL Advanced #59: Pull request #47 synchronize by jaylorch
6m 21s verus-rust-195
verus-rust-195
6m 21s
Update to use latest Verus, which uses Rust 1.95.0 CodeQL Advanced #58: Pull request #47 opened by jaylorch
4m 38s verus-rust-195
verus-rust-195
4m 38s
CodeQL Advanced CodeQL Advanced #57: Scheduled
5m 12s main
main
5m 12s
Bump rand from 0.8.5 to 0.9.3 in /unverified/metadata_kv CodeQL Advanced #56: Commit 8a5008b pushed by hayley-leblanc
1h 2m 41s main
main
1h 2m 41s
Bump rand from 0.8.5 to 0.9.3 in /unverified/metadata_kv CodeQL Advanced #55: Pull request #46 opened by dependabot Bot
6m 25s dependabot/cargo/unverified/metadata_kv/rand-0.9.3
dependabot/cargo/unverified/metadata_kv/rand-0.9.3
6m 25s
Update to latest Verus: 2026-04-12 (#45) CodeQL Advanced #54: Commit fb29c4b pushed by jaylorch
7m 25s main
main
7m 25s