Skip to content

Actions: microsoft/verified-storage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 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
Bump the github-actions group across 1 directory with 2 updates CodeQL Advanced #124: Pull request #60 synchronize by dependabot Bot
4m 49s dependabot/github_actions/github-actions-b632086d0b
dependabot/github_actions/github-actions-b632086d0b
4m 49s
github_actions in / for github/codeql-action/init, github/codeql-action/analyze - Update #1597379109 Dependabot Updates #61: by dependabot Bot
2m 28s main
main
2m 28s
github_actions in /. - Update #1597377990 Dependabot Updates #60: by dependabot Bot
32s main
main
32s
CodeQL Advanced CodeQL Advanced #123: Scheduled
5m 6s main
main
5m 6s
Fix nightly-verita, update to version 2026-09-20 (#62) CodeQL Advanced #122: Commit 41cab95 pushed by jaylorch
9m 27s main
main
9m 27s
Bump the github-actions group across 1 directory with 2 updates CodeQL Advanced #121: Pull request #60 synchronize by dependabot Bot
5m 3s dependabot/github_actions/github-actions-b632086d0b
dependabot/github_actions/github-actions-b632086d0b
5m 3s
github_actions in / for github/codeql-action/init, github/codeql-action/analyze - Update #1587021016 Dependabot Updates #59: by dependabot Bot
2m 38s main
main
2m 38s
github_actions in /. - Update #1587020923 Dependabot Updates #58: by dependabot Bot
39s main
main
39s
Running Copilot Code Review Copilot #6: by Copilot AI
1m 33s verus-2026-09-20
verus-2026-09-20
1m 33s
Fix nightly-verita, update to version 2026-09-20 CodeQL Advanced #120: Pull request #62 opened by jaylorch
4m 29s verus-2026-09-20
verus-2026-09-20
4m 29s
CodeQL Advanced CodeQL Advanced #119: Scheduled
5m 7s main
main
5m 7s
Update to latest version (2026-09-15) (#61) CodeQL Advanced #118: Commit 1e43019 pushed by jaylorch
5m 11s main
main
5m 11s
Update to latest version (2026-09-15) CodeQL Advanced #117: Pull request #61 opened by jaylorch
4m 21s verus-09-15
verus-09-15
4m 21s
github_actions in / for github/codeql-action/init, github/codeql-action/analyze - Update #1577039730 Dependabot Updates #57: by dependabot Bot
2m 38s main
main
2m 38s
github_actions in /. - Update #1577039667 Dependabot Updates #56: by dependabot Bot
33s main
main
33s
CodeQL Advanced CodeQL Advanced #116: Scheduled
5m 4s main
main
5m 4s
github_actions in / for github/codeql-action/init, github/codeql-action/analyze - Update #1563293862 Dependabot Updates #55: by dependabot Bot
2m 32s main
main
2m 32s
github_actions in /. - Update #1563293801 Dependabot Updates #54: by dependabot Bot
33s main
main
33s
CodeQL Advanced CodeQL Advanced #115: Scheduled
5m 15s main
main
5m 15s
Bump the github-actions group across 1 directory with 2 updates CodeQL Advanced #114: Pull request #60 opened by dependabot Bot
4m 44s dependabot/github_actions/github-actions-b632086d0b
dependabot/github_actions/github-actions-b632086d0b
4m 44s
github_actions in /. - Update #1549031748 Dependabot Updates #53: by dependabot Bot
3m 10s main
main
3m 10s
CodeQL Advanced CodeQL Advanced #113: Scheduled
5m 22s main
main
5m 22s
Update to latest Verus (2026-08-23) (#58) CodeQL Advanced #112: Commit 37fdf2b pushed by jaylorch
2m 25s main
main
2m 25s
github_actions in /. - Update #1540015535 Dependabot Updates #52: by dependabot Bot
2m 47s main
main
2m 47s
Running Copilot Code Review Copilot #5: by Copilot AI
2m 53s verus-2026-08-18
verus-2026-08-18
2m 53s