Skip to content

Actions: Marsman1996/vostd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 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
ci: refactor ci workflow Format and Verify VOSTD (Main) #50: Commit 7ed0a37 pushed by Marsman1996
12m 11s main
main
12m 11s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #31: Commit 7ed0a37 pushed by Marsman1996
20m 10s main
main
20m 10s
Prove arch pci Verify VOSTD (Main) with verus-lang/verus #30: Issue comment #5 (comment) created by Marsman1996
1s
1s
Prove arch pci Format and Verify VOSTD (Main) #49: Issue comment #5 (comment) created by Marsman1996
4m 38s
4m 38s
ci: refactor ci workflow IRC11 Toolchain #8: Commit 4dd7234 pushed by Marsman1996
21s main
main
21s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #29: Commit 4dd7234 pushed by Marsman1996
18m 57s main
main
18m 57s
ci: refactor ci workflow Format and Verify VOSTD (Main) #48: Commit 4dd7234 pushed by Marsman1996
11m 54s main
main
11m 54s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #28: Commit bfe4901 pushed by Marsman1996
19m 57s main
main
19m 57s
ci: refactor ci workflow Format and Verify VOSTD (Main) #47: Commit bfe4901 pushed by Marsman1996
8m 25s main
main
8m 25s
ci: refactor ci workflow Format and Verify VOSTD (Main) #46: Commit 8d2a764 pushed by Marsman1996
6m 51s main
main
6m 51s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #27: Commit 8d2a764 pushed by Marsman1996
19m 15s main
main
19m 15s
ci: refactor ci workflow Format and Verify VOSTD (Main) #45: Commit 43d520b pushed by Marsman1996
15m 44s main
main
15m 44s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #26: Commit 43d520b pushed by Marsman1996
19m 39s main
main
19m 39s
ci: refactor ci workflow IRC11 Toolchain #7: Commit f8364a1 pushed by Marsman1996
29s main
main
29s
ci: refactor ci workflow Verify VOSTD (Main) with verus-lang/verus #25: Commit f8364a1 pushed by Marsman1996
20m 16s main
main
20m 16s
ci: refactor ci workflow Format and Verify VOSTD (Main) #44: Commit f8364a1 pushed by Marsman1996
Failure main
main
Failure
Deploy Rust docs to GitHub Pages Deploy Rust docs to GitHub Pages #30: completed by Marsman1996
2s
2s
Prove arch pci verify-perf #7: Issue comment #5 (comment) created by Marsman1996
1m 59s
1m 59s
Prove arch pci Verify VOSTD (Main) with verus-lang/verus #24: Issue comment #5 (comment) created by Marsman1996
1s
1s
Deploy Rust docs to GitHub Pages Deploy Rust docs to GitHub Pages #29: completed by Marsman1996
1m 48s
1m 48s
Prove arch pci IRC11 Toolchain #6: Pull request #5 opened by Marsman1996
2m 50s prove-arch_pci
prove-arch_pci
2m 50s
Prove arch pci Format and Verify VOSTD (Main) #43: Pull request #5 opened by Marsman1996
2m 17s prove-arch_pci
prove-arch_pci
2m 17s
Prove arch pci Deploy Rust docs to GitHub Pages #28: Pull request #5 opened by Marsman1996
2m 9s prove-arch_pci
prove-arch_pci
2m 9s
ci: post ci/doc commit status for workflow_run doc builds Format and Verify VOSTD (Main) #42: Commit ac63fdf pushed by Marsman1996
2m 37s main
main
2m 37s
ci: post ci/doc commit status for workflow_run doc builds Verify VOSTD (Main) with verus-lang/verus #23: Commit ac63fdf pushed by Marsman1996
22m 37s main
main
22m 37s