Skip to content

Actions: DID-Lab-SZU/vostd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 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
Fix irc11 verus upgrade (#774) IRC11 Toolchain #25: Commit a7a57fa pushed by DID-Lab-SZU
9m 36s main
main
9m 36s
Fix irc11 verus upgrade (#774) Format and Verify VOSTD (Main) #61: Commit a7a57fa pushed by DID-Lab-SZU
11m 29s main
main
11m 29s
Fix irc11 verus upgrade (#774) Verify VOSTD (Main) with verus-lang/verus #61: Commit a7a57fa pushed by DID-Lab-SZU
18m 2s main
main
18m 2s
fix: simplify Range::clone spec (#772) Verify VOSTD (Main) with verus-lang/verus #60: Commit 21346a5 pushed by DID-Lab-SZU
18m 18s main
main
18m 18s
fix: simplify Range::clone spec (#772) IRC11 Toolchain #24: Commit 21346a5 pushed by DID-Lab-SZU
29s main
main
29s
fix: simplify Range::clone spec (#772) Format and Verify VOSTD (Main) #60: Commit 21346a5 pushed by DID-Lab-SZU
12m 21s main
main
12m 21s
chore: fix PartialSpec for Frame (#768) Verify VOSTD (Main) with verus-lang/verus #59: Commit 15e0bb7 pushed by DID-Lab-SZU
20m 29s main
main
20m 29s
chore: fix PartialSpec for Frame (#768) IRC11 Toolchain #23: Commit 15e0bb7 pushed by DID-Lab-SZU
30s main
main
30s
chore: fix PartialSpec for Frame (#768) Format and Verify VOSTD (Main) #59: Commit 15e0bb7 pushed by DID-Lab-SZU
13m 26s main
main
13m 26s
Deploy Rust docs to GitHub Pages Deploy Rust docs to GitHub Pages #58: completed by DID-Lab-SZU
5m 20s
5m 20s
fix: Frame::meta (#765) Verify VOSTD (Main) with verus-lang/verus #58: Commit 96a1b1f pushed by DID-Lab-SZU
21m 54s main
main
21m 54s
fix: Frame::meta (#765) verify-perf #3: Commit 96a1b1f pushed by DID-Lab-SZU
4m 21s main
main
4m 21s
fix: Frame::meta (#765) IRC11 Toolchain #22: Commit 96a1b1f pushed by DID-Lab-SZU
27s main
main
27s
fix: Frame::meta (#765) Format and Verify VOSTD (Main) #58: Commit 96a1b1f pushed by DID-Lab-SZU
5m 44s main
main
5m 44s
Deploy Rust docs to GitHub Pages Deploy Rust docs to GitHub Pages #57: completed by DID-Lab-SZU
4m 53s
4m 53s
chore: remove several redundant InvView implementations (#764) Verify VOSTD (Main) with verus-lang/verus #57: Commit a6552fc pushed by DID-Lab-SZU
21m 3s main
main
21m 3s
chore: remove several redundant InvView implementations (#764) Format and Verify VOSTD (Main) #57: Commit a6552fc pushed by DID-Lab-SZU
14m 20s main
main
14m 20s
chore: remove several redundant InvView implementations (#764) IRC11 Toolchain #21: Commit a6552fc pushed by DID-Lab-SZU
35s main
main
35s
chore: remove several redundant InvView implementations (#764) verify-perf #2: Commit a6552fc pushed by DID-Lab-SZU
11m 35s main
main
11m 35s
Deploy Rust docs to GitHub Pages Deploy Rust docs to GitHub Pages #56: completed by DID-Lab-SZU
5m 23s
5m 23s
performance (#761) IRC11 Toolchain #20: Commit bc7200b pushed by DID-Lab-SZU
28s main
main
28s
performance (#761) verify-perf #1: Commit bc7200b pushed by DID-Lab-SZU
12m 12s main
main
12m 12s
performance (#761) Verify VOSTD (Main) with verus-lang/verus #56: Commit bc7200b pushed by DID-Lab-SZU
18m 48s main
main
18m 48s
performance (#761) Format and Verify VOSTD (Main) #56: Commit bc7200b pushed by DID-Lab-SZU
10m 12s main
main
10m 12s
skills: add review skill based on the guidelines (#733) Deploy Rust docs to GitHub Pages #55: Commit fb5411f pushed by DID-Lab-SZU
14m 57s main
main
14m 57s