Skip to content

Actions: elliottt/easy-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wait for solver process on drop CI #61: Pull request #33 opened by mmcloughlin
November 21, 2024 19:49 2h 30m 47s mmcloughlin:wait-on-drop
mmcloughlin:wait-on-drop
November 21, 2024 19:49 2h 30m 47s
Implement (exit) command (#32) CI #60: Commit f48f8fb pushed by elliottt
November 21, 2024 19:26 25s main
main
November 21, 2024 19:26 25s
Implement (exit) command CI #59: Pull request #32 opened by mmcloughlin
November 21, 2024 19:24 26s mmcloughlin:exit
mmcloughlin:exit
November 21, 2024 19:24 26s
Add a little detail to doc comment and bump to 0.2.3 CI #58: Commit 92f6261 pushed by fitzgen
October 7, 2024 22:20 25s main
main
October 7, 2024 22:20 25s
Allow user to send and recieve custom messages to and from the SMT so… CI #57: Commit 1a4f99c pushed by fitzgen
October 7, 2024 22:05 30s main
main
October 7, 2024 22:05 30s
Allow user to send and recieve custom messages to and from the SMT solver CI #56: Pull request #31 synchronize by UnsignedByte
October 7, 2024 20:59 31s UnsignedByte:main
UnsignedByte:main
October 7, 2024 20:59 31s
Allow user to send and recieve custom messages to and from the SMT solver CI #55: Pull request #31 opened by UnsignedByte
October 2, 2024 17:42 24s UnsignedByte:main
UnsignedByte:main
October 2, 2024 17:42 24s
Fix CI CI #54: Commit 023a922 pushed by elliottt
August 2, 2024 21:28 37s main
main
August 2, 2024 21:28 37s
Bump the version to 0.2.2 (#29) CI #53: Commit b8d6d9c pushed by elliottt
August 2, 2024 20:45 Failure main
main
August 2, 2024 20:45 Failure
Bump the version to 0.2.2 (#29) CI #52: Commit b8d6d9c pushed by elliottt
August 2, 2024 20:44 Failure main
main
August 2, 2024 20:44 Failure
Bump the version to 0.2.2 CI #51: Commit 3abdc8d pushed by elliottt
August 2, 2024 20:44 Failure trevor/bump-version
trevor/bump-version
August 2, 2024 20:44 Failure
Run the quantifiers example in CI (#28) CI #50: Commit c58c72e pushed by elliottt
August 2, 2024 20:44 Failure main
main
August 2, 2024 20:44 Failure
Bump the version to 0.2.2 CI #49: Commit 2f85a75 pushed by elliottt
August 2, 2024 20:41 Failure trevor/bump-version
trevor/bump-version
August 2, 2024 20:41 Failure
Run the quantifiers example in CI CI #48: Commit 6ac1329 pushed by elliottt
August 2, 2024 20:39 Failure trevor/run-quantifier-example
trevor/run-quantifier-example
August 2, 2024 20:39 Failure
Fix Context::forall and Context::exists quantifiers (#27) CI #47: Commit b870aeb pushed by elliottt
August 2, 2024 20:38 28s main
main
August 2, 2024 20:38 28s
Fix Context::forall and Context::exists quantifiers CI #46: Pull request #27 opened by octalsrc
August 2, 2024 19:52 30s octalsrc:fix-quantifiers
octalsrc:fix-quantifiers
August 2, 2024 19:52 30s
Bump the version to 0.2.1 (#25) CI #45: Commit 17c3df0 pushed by elliottt
September 5, 2023 06:17 1m 7s main
main
September 5, 2023 06:17 1m 7s
Bump the version to 0.2.1 CI #44: Pull request #25 opened by elliottt
September 5, 2023 06:15 59s trevor/bump-version
trevor/bump-version
September 5, 2023 06:15 59s
Parse quote identifiers (#24) CI #43: Commit accd7e3 pushed by elliottt
September 5, 2023 06:12 44s main
main
September 5, 2023 06:12 44s
Parse quote identifiers CI #42: Pull request #24 synchronize by rachitnigam
September 4, 2023 07:16 41s rachitnigam:main
rachitnigam:main
September 4, 2023 07:16 41s
Parse quote identifiers CI #41: Pull request #24 opened by rachitnigam
September 4, 2023 07:13 56s rachitnigam:main
rachitnigam:main
September 4, 2023 07:13 56s
Bump to 0.2.0 (#22) CI #40: Commit 3f2d9dc pushed by elliottt
August 15, 2023 16:47 47s main
main
August 15, 2023 16:47 47s
Bump to 0.2.0 CI #39: Pull request #22 opened by elliottt
August 15, 2023 16:45 47s trevor/bump-version
trevor/bump-version
August 15, 2023 16:45 47s
Implement check-sat-assuming (#21) CI #38: Commit c877122 pushed by elliottt
August 15, 2023 16:39 52s main
main
August 15, 2023 16:39 52s
Implement check-sat-assuming CI #37: Pull request #21 synchronize by rachitnigam
August 13, 2023 07:45 1m 6s rachitnigam:main
rachitnigam:main
August 13, 2023 07:45 1m 6s