Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

flake8 SMACK CI #614: Commit 3f8ae72 pushed by keram88
October 21, 2024 16:09 4m 54s equiv
equiv
October 21, 2024 16:09 4m 54s
clang format SMACK CI #613: Commit f18245d pushed by keram88
October 19, 2024 23:12 2m 0s equiv
equiv
October 19, 2024 23:12 2m 0s
Reformatting SMACK CI #612: Commit e04fceb pushed by keram88
October 19, 2024 22:54 2m 10s equiv
equiv
October 19, 2024 22:54 2m 10s
Equivalence extensions SMACK CI #611: Commit 8c77e35 pushed by keram88
September 12, 2024 23:27 3m 45s equiv
equiv
September 12, 2024 23:27 3m 45s
Merge remote-tracking branch 'origin/cvc5' into equiv SMACK CI #610: Commit 0a86b67 pushed by keram88
September 12, 2024 23:27 2m 8s equiv
equiv
September 12, 2024 23:27 2m 8s
Equivalence extensions SMACK CI #609: Commit 8c77e35 pushed by keram88
September 12, 2024 23:25 2m 9s smt-nan
smt-nan
September 12, 2024 23:25 2m 9s