Skip to content

Actions: elliottt/easy-smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 0.2.4 CI #66: Commit ac5d88a pushed by fitzgen
January 21, 2025 19:09 37s main
main
January 21, 2025 19:09 37s
Wait for solver process on drop (#33) CI #65: Commit 4314c77 pushed by elliottt
January 13, 2025 18:13 1m 1s main
main
January 13, 2025 18:13 1m 1s
Wait for solver process on drop CI #64: Pull request #33 synchronize by mmcloughlin
January 9, 2025 05:06 56s mmcloughlin:wait-on-drop
mmcloughlin:wait-on-drop
January 9, 2025 05:06 56s
allow Context to be Send (#34) CI #63: Commit b5f8056 pushed by fitzgen
December 10, 2024 16:01 30s main
main
December 10, 2024 16:01 30s
allow Context to be Send CI #62: Pull request #34 opened by ekiwi
December 9, 2024 15:55 1m 11s ekiwi:send-context
ekiwi:send-context
December 9, 2024 15:55 1m 11s
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