Skip to content

Actions: lisa-analyzer/lisa

Actions

Snapshot custom branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
snapshot-branch.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Snapshot custom branch Snapshot custom branch #40: Manually run by lucaneg
5m 37s llvmir-new
llvmir-new
5m 37s
Snapshot custom branch Snapshot custom branch #39: Manually run by lucaneg
5m 57s llvmir-new
llvmir-new
5m 57s
Snapshot custom branch Snapshot custom branch #38: Manually run by lucaneg
6m 20s llvmir-new
llvmir-new
6m 20s
Snapshot custom branch Snapshot custom branch #37: Manually run by lucaneg
1m 39s llvmir-new
llvmir-new
1m 39s
Snapshot custom branch Snapshot custom branch #36: Manually run by lucaneg
6m 20s llvmir-new
llvmir-new
6m 20s
Snapshot custom branch Snapshot custom branch #35: Manually run by lucaneg
6m 21s svcomp
svcomp
6m 21s
Snapshot custom branch Snapshot custom branch #34: Manually run by lucaneg
6m 3s svcomp
svcomp
6m 3s
Snapshot custom branch Snapshot custom branch #33: Manually run by lucaneg
7m 5s svcomp
svcomp
7m 5s
Snapshot custom branch Snapshot custom branch #32: Manually run by lucaneg
5m 47s svcomp
svcomp
5m 47s
Snapshot custom branch Snapshot custom branch #31: Manually run by lucaneg
5m 50s svcomp
svcomp
5m 50s
Snapshot custom branch Snapshot custom branch #30: Manually run by lucaneg
6m 9s svcomp
svcomp
6m 9s
Snapshot custom branch Snapshot custom branch #29: Manually run by lucaneg
6m 53s svcomp
svcomp
6m 53s
Snapshot custom branch Snapshot custom branch #28: Manually run by lucaneg
6m 48s svcomp
svcomp
6m 48s
Snapshot custom branch Snapshot custom branch #27: Manually run by lucaneg
6m 4s svcomp
svcomp
6m 4s
Snapshot custom branch Snapshot custom branch #26: Manually run by lucaneg
6m 7s svcomp
svcomp
6m 7s
Snapshot custom branch Snapshot custom branch #25: Manually run by lucaneg
6m 31s svcomp
svcomp
6m 31s
Snapshot custom branch Snapshot custom branch #24: Manually run by lucaneg
7m 11s svcomp
svcomp
7m 11s
Snapshot custom branch Snapshot custom branch #23: Manually run by lucaneg
6m 3s svcomp
svcomp
6m 3s
Snapshot custom branch Snapshot custom branch #22: Manually run by lucaneg
7m 8s svcomp
svcomp
7m 8s
Snapshot custom branch Snapshot custom branch #21: Manually run by lucaneg
6m 51s svcomp
svcomp
6m 51s
Snapshot custom branch Snapshot custom branch #20: Manually run by lucaneg
6m 48s svcomp
svcomp
6m 48s
Snapshot custom branch Snapshot custom branch #19: Manually run by lucaneg
6m 1s svcomp
svcomp
6m 1s
Snapshot custom branch Snapshot custom branch #18: Manually run by lucaneg
5m 46s svcomp
svcomp
5m 46s
Snapshot custom branch Snapshot custom branch #17: Manually run by lucaneg
6m 23s svcomp
svcomp
6m 23s
Snapshot custom branch Snapshot custom branch #16: Manually run by lucaneg
6m 18s svcomp
svcomp
6m 18s