Skip to content

Actions: elsoroka/Satisfiability.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
349 workflow runs
349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action. CI #40: Pull request #4 synchronize by elsoroka
July 1, 2023 22:59 56s dev-unittests
dev-unittests
July 1, 2023 22:59 56s
ChatGPT said we forgot to Pkg.activate() CI #39: Commit 4fba4e9 pushed by elsoroka
July 1, 2023 22:59 42s dev-unittests
dev-unittests
July 1, 2023 22:59 42s
Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action. CI #38: Pull request #4 synchronize by elsoroka
July 1, 2023 22:53 40s dev-unittests
dev-unittests
July 1, 2023 22:53 40s
maybe it's fixed? CI #37: Commit e7d27e4 pushed by elsoroka
July 1, 2023 22:53 42s dev-unittests
dev-unittests
July 1, 2023 22:53 42s
it still doesn't work! CI #36: Commit bb71988 pushed by elsoroka
July 1, 2023 22:47 Failure dev-unittests
dev-unittests
July 1, 2023 22:47 Failure
something else was wrong! CI #35: Commit d1c717e pushed by elsoroka
July 1, 2023 22:37 Failure dev-unittests
dev-unittests
July 1, 2023 22:37 Failure
Merge branch 'main' into dev-unittests CI #34: Commit af2eacc pushed by elsoroka
July 1, 2023 22:33 Failure dev-unittests
dev-unittests
July 1, 2023 22:33 Failure
maybe this will fix this latest trouble? CI #33: Commit 80cb2c3 pushed by elsoroka
July 1, 2023 22:32 Failure dev-unittests
dev-unittests
July 1, 2023 22:32 Failure
Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action. CI #32: Pull request #4 synchronize by elsoroka
July 1, 2023 22:27 38s dev-unittests
dev-unittests
July 1, 2023 22:27 38s
discovered the github actions container doesn't have Julia Logging pkg CI #31: Commit 6c8aacc pushed by elsoroka
July 1, 2023 22:27 Failure dev-unittests
dev-unittests
July 1, 2023 22:27 Failure
Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action. CI #30: Pull request #4 opened by elsoroka
July 1, 2023 22:23 1m 4s dev-unittests
dev-unittests
July 1, 2023 22:23 1m 4s
Adding YAML file to build docs on push to main. ChatGPT helped write it CI #29: Commit 7f64f10 pushed by elsoroka
July 1, 2023 22:22 Failure dev-unittests
dev-unittests
July 1, 2023 22:22 Failure
pages build and deployment pages-build-deployment #1: by elsoroka
July 1, 2023 21:59 49s
July 1, 2023 21:59 49s
Updated documentation with Real and Int, job shop example md and general CI #28: Commit 565025e pushed by elsoroka
July 1, 2023 21:04 Failure dev-unittests
dev-unittests
July 1, 2023 21:04 Failure
Merge branch 'dev-unittests' of github.com:elsoroka/BooleanSatisfiabi… CI #27: Commit 21f9570 pushed by elsoroka
July 1, 2023 06:52 Failure dev-unittests
dev-unittests
July 1, 2023 06:52 Failure
Added rest of docstrings for ints and reals and cleaned up module CI #26: Commit c957454 pushed by elsoroka
July 1, 2023 06:47 Failure dev-unittests
dev-unittests
July 1, 2023 06:47 Failure
Merge pull request #3 from elsoroka/dev-ints-reals CI #25: Commit 8488f02 pushed by elsoroka
July 1, 2023 06:20 Failure dev-unittests
dev-unittests
July 1, 2023 06:20 Failure
Merge branch 'dev-ints-reals' of github.com:elsoroka/BooleanSatisfiab… CI #24: Commit 1baf44b pushed by elsoroka
July 1, 2023 06:19 Failure dev-ints-reals
dev-ints-reals
July 1, 2023 06:19 Failure
Added test coverage and fixed bugs for propagating values with __assign! CI #23: Commit 422bcb5 pushed by elsoroka
July 1, 2023 04:59 Failure dev-ints-reals
dev-ints-reals
July 1, 2023 04:59 Failure
Fixed 3 issues in TODOs.txt: map cleanup, retrieving Z3 output using a CI #22: Commit ad872c4 pushed by elsoroka
June 30, 2023 21:27 Failure dev-ints-reals
dev-ints-reals
June 30, 2023 21:27 Failure
Fixed solver output retrieval correctly so it always works even if z3… CI #21: Commit d19d037 pushed by elsoroka
June 30, 2023 21:04 Failure dev-ints-reals
dev-ints-reals
June 30, 2023 21:04 Failure
Fixed a big SMT generation bug that was introduced with the updates and CI #20: Commit b1358ad pushed by elsoroka
June 29, 2023 05:07 Failure dev-ints-reals
dev-ints-reals
June 29, 2023 05:07 Failure
Finished adding SMT translation, parsing, and unittests. Fixed the SMT CI #19: Commit b648cd3 pushed by elsoroka
June 28, 2023 19:22 -1s dev-ints-reals
dev-ints-reals
June 28, 2023 19:22 -1s
Updated SMT translation to also do Ints and Reals. Parsing Z3 output CI #18: Commit 8794223 pushed by elsoroka
June 27, 2023 21:27 Failure dev-ints-reals
dev-ints-reals
June 27, 2023 21:27 Failure
ProTip! You can narrow down the results and go further in time using created:<2023-06-27 or the other filters available.