Skip to content

Actions: microsoft/verified-storage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 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 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
Update to latest Verus (2026-08-23) CodeQL Advanced #111: Pull request #58 synchronize by jaylorch
2m 20s verus-2026-08-18
verus-2026-08-18
2m 20s
Bump the github-actions group with 3 updates (#59) CodeQL Advanced #110: Commit bf97b9c pushed by jaylorch
2m 20s main
main
2m 20s
Running Copilot Code Review Copilot #4: by Copilot AI
1m 24s dependabot/github_actions/github-actions-ec3623a2dd
dependabot/github_actions/github-actions-ec3623a2dd
1m 24s
Update to latest Verus (2026-08-23) CodeQL Advanced #109: Pull request #58 synchronize by jaylorch
1m 59s verus-2026-08-18
verus-2026-08-18
1m 59s
Bump the github-actions group with 3 updates CodeQL Advanced #108: Pull request #59 opened by dependabot Bot
2m 16s dependabot/github_actions/github-actions-ec3623a2dd
dependabot/github_actions/github-actions-ec3623a2dd
2m 16s
github_actions in /. - Update #1539027682 Dependabot Updates #51: by dependabot Bot
4m 21s main
main
4m 21s
Pin GitHub Actions to full-length commit SHAs (#57) CodeQL Advanced #107: Commit fb85f1c pushed by jaylorch
2m 40s main
main
2m 40s
CodeQL Advanced CodeQL Advanced #106: Scheduled
2m 4s main
main
2m 4s
Running Copilot Code Review Copilot #3: by Copilot AI
4m 12s verus-2026-08-18
verus-2026-08-18
4m 12s
Update to latest Verus (2026-08-23) CodeQL Advanced #105: Pull request #58 opened by jaylorch
2m 26s verus-2026-08-18
verus-2026-08-18
2m 26s
Pin GitHub Actions to full-length commit SHAs CodeQL Advanced #104: Pull request #57 opened by danfiedler-msft
2m 16s danfiedler-msft:danfiedler/pin-actions
danfiedler-msft:danfiedler/pin-actions
2m 16s
Update hash map entries in place (#56) CodeQL Advanced #103: Commit 5accc3b pushed by jaylorch
2m 57s main
main
2m 57s
cargo in /unverified/metadata_kv for rand - Update #1535615304 Dependabot Updates #50: by dependabot Bot
1m 53s main
main
1m 53s
CodeQL Advanced CodeQL Advanced #102: Scheduled
4m 18s main
main
4m 18s
CodeQL Advanced CodeQL Advanced #101: Scheduled
2m 41s main
main
2m 41s
Update hash map entries in place CodeQL Advanced #100: Pull request #56 synchronize by jaylorch
2m 15s update-in-place
update-in-place
2m 15s
Running Copilot Code Review Copilot #2: by Copilot AI
2m 46s update-in-place
update-in-place
2m 46s
Update hash map entries in place CodeQL Advanced #99: Pull request #56 opened by jaylorch
2m 20s update-in-place
update-in-place
2m 20s
cargo in /unverified/metadata_kv for rand - Update #1504050370 Dependabot Updates #49: by dependabot Bot
35s main
main
35s