Skip to content

Actions: SRI-CSL/sally

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small change to fix live-stats CI #28: Pull request #79 synchronize by ahmed-irfan
6m 4s cgjohannsen:stats
cgjohannsen:stats
6m 4s
Fix btor2parser linking and update Yices2 API compatibility (#80) CI #27: Commit da23ce1 pushed by karthiknukala
6m 57s master
master
6m 57s
Fix btor2parser linking and update Yices2 API compatibility CI #26: Pull request #80 opened by karthiknukala
7m 22s karthiknukala:yices-587-cmake
karthiknukala:yices-587-cmake
7m 22s
Small change to fix live-stats CI #25: Pull request #79 opened by cgjohannsen
7m 19s cgjohannsen:stats
cgjohannsen:stats
7m 19s
Add BTOR2 Frontend (#74) CI #24: Commit bfb2379 pushed by ahmed-irfan
5m 54s master
master
5m 54s
Add BTOR2 Frontend CI #23: Pull request #74 synchronize by cgjohannsen
5m 43s cgjohannsen:btor2
cgjohannsen:btor2
5m 43s
Add BTOR2 Frontend CI #22: Pull request #74 synchronize by cgjohannsen
5m 55s cgjohannsen:btor2
cgjohannsen:btor2
5m 55s
Add BTOR2 Frontend CI #21: Pull request #74 synchronize by ahmed-irfan
6m 0s cgjohannsen:btor2
cgjohannsen:btor2
6m 0s
rm travis CI #20: Commit b35b5d9 pushed by ahmed-irfan
23m 3s master
master
23m 3s
ci (#77) CI #19: Commit f698ac7 pushed by ahmed-irfan
7m 9s master
master
7m 9s
ci CI #18: Pull request #77 synchronize by ahmed-irfan
7m 13s ci
ci
7m 13s
ci CI #17: Pull request #77 synchronize by ahmed-irfan
1m 14s ci
ci
1m 14s
ci CI #16: Pull request #77 synchronize by ahmed-irfan
11m 52s ci
ci
11m 52s
ci CI #15: Pull request #77 synchronize by ahmed-irfan
10m 36s ci
ci
10m 36s
ci CI #14: Pull request #77 synchronize by ahmed-irfan
10m 39s ci
ci
10m 39s
ci CI #13: Pull request #77 synchronize by ahmed-irfan
1m 38s ci
ci
1m 38s
ci CI #12: Pull request #77 synchronize by ahmed-irfan
6m 4s ci
ci
6m 4s
ci CI #11: Pull request #77 synchronize by ahmed-irfan
12m 36s ci
ci
12m 36s
ci CI #10: Pull request #77 synchronize by ahmed-irfan
4m 50s ci
ci
4m 50s
ci CI #9: Pull request #77 synchronize by ahmed-irfan
6m 5s ci
ci
6m 5s
ci CI #8: Pull request #77 synchronize by ahmed-irfan
6m 15s ci
ci
6m 15s
ci CI #7: Pull request #77 synchronize by ahmed-irfan
8m 23s ci
ci
8m 23s
ci CI #6: Pull request #77 synchronize by ahmed-irfan
12m 43s ci
ci
12m 43s
ci CI #5: Pull request #77 synchronize by ahmed-irfan
12m 38s ci
ci
12m 38s
ci CI #4: Pull request #77 synchronize by ahmed-irfan
5m 44s ci
ci
5m 44s