Skip to content

Actions: tweag/smtlib-backends

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Relax upper bound of base CI #257: Commit e14ce2f pushed by facundominguez
January 23, 2025 19:32 14m 48s master
master
January 23, 2025 19:32 14m 48s
Build with ghc-9.10.1 CI #256: Commit af26c91 pushed by facundominguez
August 16, 2024 14:37 14m 34s master
master
August 16, 2024 14:37 14m 34s
Build with ghc-9.10.1 CI #255: Pull request #76 synchronize by facundominguez
August 16, 2024 12:31 15m 9s fd/ghc-9.10.1
fd/ghc-9.10.1
August 16, 2024 12:31 15m 9s
Build with ghc-9.10.1 CI #254: Pull request #76 opened by facundominguez
August 15, 2024 23:51 14m 44s fd/ghc-9.10.1
fd/ghc-9.10.1
August 15, 2024 23:51 14m 44s
Update dependency bounds to build with ghc 9.10.1 CI #253: Commit 57fe0cf pushed by facundominguez
August 15, 2024 23:01 13m 57s master
master
August 15, 2024 23:01 13m 57s
Build and test with ghc 9.10.1 CI #252: Pull request #75 synchronize by facundominguez
August 15, 2024 22:33 13m 54s fd/ghc-9.10.1
fd/ghc-9.10.1
August 15, 2024 22:33 13m 54s
Build and test with ghc 9.10.1 CI #251: Pull request #75 opened by facundominguez
August 15, 2024 22:13 14m 0s fd/ghc-9.10.1
fd/ghc-9.10.1
August 15, 2024 22:13 14m 0s
Update dependency bounds after releasing smtlib-backends-0.4 CI #250: Commit dbb056f pushed by facundominguez
June 18, 2024 17:33 13m 50s master
master
June 18, 2024 17:33 13m 50s
Update dependency bounds after releasing smtlib-backends-0.4 CI #249: Pull request #73 opened by facundominguez
June 18, 2024 17:14 13m 44s fd/update-bounds
fd/update-bounds
June 18, 2024 17:14 13m 44s
CI CI #248: by facundominguez
May 28, 2024 21:14 13m 30s 0.4
0.4
May 28, 2024 21:14 13m 30s
Fix documentation typos CI #247: Commit 42f7a21 pushed by facundominguez
May 28, 2024 21:13 13m 44s master
master
May 28, 2024 21:13 13m 44s
Edit the documentation on queuing and :print-success CI #246: Commit d82e051 pushed by facundominguez
May 28, 2024 16:05 13m 58s master
master
May 28, 2024 16:05 13m 58s
Documentation improvements and cleanup in initSolver CI #245: Pull request #71 opened by facundominguez
May 28, 2024 15:34 13m 57s fd/doc-and-cleanups
fd/doc-and-cleanups
May 28, 2024 15:34 13m 57s
Bump version of smtlib-backends-z3 to 0.3.1 and update changelog CI #244: Commit b084da6 pushed by facundominguez
January 29, 2024 14:24 13m 57s smtlib-backends-z3-0.3.1
smtlib-backends-z3-0.3.1
January 29, 2024 14:24 13m 57s
Bump version of smtlib-backends-z3 to 0.3.1 and update changelog CI #243: Commit b084da6 pushed by facundominguez
January 29, 2024 14:24 14m 7s master
master
January 29, 2024 14:24 14m 7s
Shorten job names CI #242: Commit a21a320 pushed by facundominguez
January 28, 2024 16:30 13m 46s master
master
January 28, 2024 16:30 13m 46s
Update dependency upper bounds CI #241: Pull request #67 synchronize by facundominguez
January 28, 2024 16:08 13m 37s fd/update-dependencies
fd/update-dependencies
January 28, 2024 16:08 13m 37s
Update dependency upper bounds CI #240: Pull request #67 synchronize by facundominguez
January 28, 2024 16:07 13m 59s fd/update-dependencies
fd/update-dependencies
January 28, 2024 16:07 13m 59s
Update dependency upper bounds CI #239: Pull request #67 opened by facundominguez
January 28, 2024 16:03 30s fd/update-dependencies
fd/update-dependencies
January 28, 2024 16:03 30s
Edit Z3.Config comment CI #238: Commit 9c153e0 pushed by facundominguez
January 26, 2024 12:09 13m 43s master
master
January 26, 2024 12:09 13m 43s
Document limitations of Z3.Config CI #237: Pull request #66 synchronize by facundominguez
January 26, 2024 12:06 13m 32s fd/z3_config_warn
fd/z3_config_warn
January 26, 2024 12:06 13m 32s
Document limitations of Z3.Config CI #236: Pull request #66 synchronize by facundominguez
January 25, 2024 13:14 13m 24s fd/z3_config_warn
fd/z3_config_warn
January 25, 2024 13:14 13m 24s
Document limitations of Z3.Config CI #235: Pull request #66 opened by facundominguez
January 25, 2024 12:42 13m 41s fd/z3_config_warn
fd/z3_config_warn
January 25, 2024 12:42 13m 41s
Mention CVC5 in the top-level README CI #234: Commit 25e0baf pushed by facundominguez
November 28, 2023 19:09 13m 36s master
master
November 28, 2023 19:09 13m 36s
Experimental version of smtlib-backends-cvc5 CI #233: Pull request #65 synchronize by facundominguez
November 28, 2023 18:41 13m 49s smtlib-backends-cvc5
smtlib-backends-cvc5
November 28, 2023 18:41 13m 49s