Skip to content

Actions: secure-foundations/vest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release to crates.io Release to crates.io #4: Manually run by y1ca1
31s main
main
31s
Release to crates.io Release to crates.io #3: Manually run by y1ca1
35s main
main
35s
Release to crates.io Release to crates.io #2: Manually run by y1ca1
24s main
main
24s
Update vest and vest_lib versions CI #18: Commit f616320 pushed by y1ca1
4m 5s main
main
4m 5s
Release to crates.io Release to crates.io #1: Manually run by y1ca1
23s main
main
23s
Do not cache Verus CI #17: Commit 11fba08 pushed by y1ca1
4m 20s main
main
4m 20s
Update vstd version CI #16: Commit c81000d pushed by y1ca1
1m 0s main
main
1m 0s
Modify release workflow CI #15: Commit 60e23cf pushed by y1ca1
57s main
main
57s
Fix benchmark data download path CI #14: Commit a88db21 pushed by y1ca1
5m 56s main
main
5m 56s
Improve on downloading Verus CI #13: Commit 616375b pushed by y1ca1
2m 49s main
main
2m 49s
Download benchmark data for bitcoin CI #12: Commit aa13997 pushed by y1ca1
37s main
main
37s
Add --workspace flag CI #11: Commit 63035dc pushed by y1ca1
3m 31s main
main
3m 31s
Skip tls_dsl (TODO: fix the SMT stability issue) CI #10: Commit 76e02bf pushed by y1ca1
1m 36s main
main
1m 36s
Add vest to PATH after building vest-dsl CI #9: Commit 60311fb pushed by y1ca1
6m 8s main
main
6m 8s
Make macOS gatekeeper script non-fatal CI #8: Commit b857b32 pushed by y1ca1
3m 25s main
main
3m 25s
Use Ubuntu 24.04 CI #7: Commit 9600f70 pushed by y1ca1
42s main
main
42s
Fix CI #6: Commit fcea4a7 pushed by y1ca1
23s main
main
23s
Fix CI #5: Commit a6d71d0 pushed by y1ca1
21s main
main
21s
Debugging CI #4: Commit 4f8096b pushed by y1ca1
26s main
main
26s
Fix CI #3: Commit ab4ba41 pushed by y1ca1
21s main
main
21s
Fix Verus download URL in CI workflow CI #2: Commit dccf3e1 pushed by y1ca1
19s main
main
19s
Add GitHub Actions CI workflow CI #1: Commit 4e0faf8 pushed by y1ca1
20s main
main
20s