Skip to content

Actions: smackers/smack

Actions

SMACK CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
smack-ci.yaml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Upgrade SMACK to support LLVM 13 SMACK CI #608: Pull request #784 synchronize by shaobo-he
September 16, 2023 05:29 40m 52s llvm-13
llvm-13
September 16, 2023 05:29 40m 52s
fixed script formatting SMACK CI #607: Commit 919db8e pushed by shaobo-he
September 16, 2023 05:29 25m 7s llvm-13
llvm-13
September 16, 2023 05:29 25m 7s
Upgrade SMACK to support LLVM 13 SMACK CI #606: Pull request #784 synchronize by shaobo-he
September 16, 2023 05:25 5m 18s llvm-13
llvm-13
September 16, 2023 05:25 5m 18s
Merge remote-tracking branch 'origin/develop' into llvm-13 SMACK CI #605: Commit ad4a3f0 pushed by shaobo-he
September 16, 2023 05:25 2m 42s llvm-13
llvm-13
September 16, 2023 05:25 2m 42s
fixed script formatting SMACK CI #604: Commit a62cda8 pushed by shaobo-he
September 16, 2023 05:14 39m 26s llvm-14
llvm-14
September 16, 2023 05:14 39m 26s
bump sea-dsa version SMACK CI #603: Commit ddf88d3 pushed by shaobo-he
September 11, 2023 05:42 2m 50s llvm-14
llvm-14
September 11, 2023 05:42 2m 50s
Added equivalence checking extensions SMACK CI #602: Commit b1bae13 pushed by keram88
August 23, 2023 21:11 3m 6s equiv
equiv
August 23, 2023 21:11 3m 6s