Skip to content

Actions: secure-foundations/verdict-bench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stuff
Build Docker Image #44: Commit 0f1ac46 pushed by zhengyao-lin
36m 3s v0.0.4
Build Docker Image
Build Docker Image #43: Manually run by zhengyao-lin
35m 9s main
Another tweak
Build Docker Image #42: Commit 9b78acb pushed by zhengyao-lin
17m 10s v0.0.3
Build Docker Image
Build Docker Image #41: Manually run by zhengyao-lin
26m 43s main
Build Docker Image
Build Docker Image #40: Manually run by zhengyao-lin
35m 31s main
Build Docker Image
Build Docker Image #39: Manually run by zhengyao-lin
1m 40s main
Build Docker Image
Build Docker Image #38: Manually run by zhengyao-lin
10m 35s main
Build Docker Image
Build Docker Image #37: Manually run by zhengyao-lin
2m 19s main
Build Docker Image
Build Docker Image #36: Manually run by zhengyao-lin
2h 55m 12s main
Build Docker Image
Build Docker Image #35: Manually run by zhengyao-lin
28m 15s main
Build Docker Image
Build Docker Image #34: Manually run by zhengyao-lin
2s main
Build Docker Image
Build Docker Image #33: Manually run by zhengyao-lin
43m 6s main
Build Docker Image
Build Docker Image #32: Manually run by zhengyao-lin
25m 30s main
Build Docker Image
Build Docker Image #31: Manually run by zhengyao-lin
22m 11s main
Build Docker Image
Build Docker Image #30: Manually run by zhengyao-lin
21m 35s main
Build Docker Image
Build Docker Image #29: Manually run by zhengyao-lin
2h 36m 13s main
Build Docker Image
Build Docker Image #28: Manually run by zhengyao-lin
3h 57m 46s main
Build Docker Image
Build Docker Image #27: Manually run by zhengyao-lin
36m 26s main
Add some colors
Build Docker Image #26: Commit b46fd95 pushed by zhengyao-lin
22m 13s v0.0.2
Remove 'v' from Docker tag name
Build Docker Image #25: Commit 3fc5d97 pushed by zhengyao-lin
23m 2s v0.0.1
Build Docker Image
Build Docker Image #24: Manually run by zhengyao-lin
1h 14m 33s main
Build Docker Image
Build Docker Image #23: Manually run by zhengyao-lin
1h 34m 7s main
Build Docker Image
Build Docker Image #22: Manually run by zhengyao-lin
16m 8s main
Build Docker Image
Build Docker Image #21: Manually run by zhengyao-lin
37m 24s main
Build Docker Image
Build Docker Image #20: Manually run by zhengyao-lin
2h 10m 41s main