Workflow runs · seahorn/sea-dsa · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

73 workflow runs

73 workflow runs

Nightly Nightly #26: Scheduled

1m 54s main

main

1m 54s

Nightly Nightly #25: Scheduled

2m 27s main

main

2m 27s

Nightly Nightly #24: Scheduled

2m 5s main

main

2m 5s

Nightly Nightly #23: Scheduled

2m 6s main

main

2m 6s

Nightly Nightly #22: Scheduled

2m 13s main

main

2m 13s

Nightly Nightly #21: Scheduled

2m 1s main

main

2m 1s

Nightly Nightly #20: Scheduled

2m 13s main

main

2m 13s

Nightly Nightly #19: Scheduled

1m 58s main

main

1m 58s

Nightly Nightly #18: Scheduled

2m 12s main

main

2m 12s

Interval-offset cells: field-sensitivity-preserving partial collapse (I-DSA) CI #97: Pull request #193 opened by LinerSu

2m 8s LinerSu:feat/interval-dsa-dev18

LinerSu:feat/interval-dsa-dev18

2m 8s

Nightly Nightly #17: Scheduled

2m 4s main

main

2m 4s

Nightly Nightly #16: Scheduled

2m 0s main

main

2m 0s

Add opt-in scoped statistics (SEADSA_STATS) CI #96: Pull request #192 opened by LinerSu

1m 58s LinerSu:feat/dsa-stats

LinerSu:feat/dsa-stats

1m 58s

Nightly Nightly #15: Scheduled

2m 12s main

main

2m 12s

Nightly Nightly #14: Scheduled

2m 1s main

main

2m 1s

test(newpm): cover DsaInfoAnalysis preservation in ShadowMemNewPmPass CI #95: Commit b43a900 pushed by caballa

2m 25s dev18

dev18

2m 25s

Nightly Nightly #13: Scheduled

1m 54s main

main

1m 54s

Nightly Nightly #12: Scheduled

6m 42s main

main

6m 42s

Nightly Nightly #11: Scheduled

1m 56s main

main

1m 56s

Nightly Nightly #10: Scheduled

2m 17s main

main

2m 17s

Nightly Nightly #9: Scheduled

2m 9s main

main

2m 9s

Nightly Nightly #8: Scheduled

2m 2s main

main

2m 2s

Nightly Nightly #7: Scheduled

2m 18s main

main

2m 18s

test(newpm): cover DsaInfoAnalysis preservation in ShadowMemNewPmPass CI #94: Commit 661855a pushed by caballa

2m 19s dev16

dev16

2m 19s

Nightly Nightly #6: Scheduled

2m 5s main

main

2m 5s