Skip to content

Actions: elsoroka/Satisfiability.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #20 from elsoroka/dev CI #81: Commit bef8b17 pushed by elsoroka
September 12, 2023 07:38 1m 50s main
main
September 12, 2023 07:38 1m 50s
new update, generate data files for plotting in tex CI #80: Pull request #20 opened by elsoroka
September 12, 2023 07:35 1m 38s dev
dev
September 12, 2023 07:35 1m 38s
Merge pull request #19 from elsoroka/dev CI #79: Commit cef074b pushed by elsoroka
September 12, 2023 06:13 2m 4s main
main
September 12, 2023 06:13 2m 4s
added configurable size to reproducibility setup CI #78: Pull request #19 opened by elsoroka
September 12, 2023 06:10 1m 49s dev
dev
September 12, 2023 06:10 1m 49s
Merge pull request #18 from elsoroka/dev CI #77: Commit 142ef29 pushed by elsoroka
September 11, 2023 22:56 1m 37s main
main
September 11, 2023 22:56 1m 37s
Dockerfile for VMCAI artifact CI #76: Pull request #18 synchronize by elsoroka
September 11, 2023 22:52 2m 8s dev
dev
September 11, 2023 22:52 2m 8s
Dockerfile for VMCAI artifact CI #75: Pull request #18 opened by elsoroka
September 11, 2023 22:51 2m 14s dev
dev
September 11, 2023 22:51 2m 14s
Merge pull request #17 from elsoroka/dev CI #74: Commit 6d8bf97 pushed by elsoroka
September 7, 2023 18:21 2m 11s main
main
September 7, 2023 18:21 2m 11s
Paper benchmarks and execution logs CI #73: Pull request #17 opened by elsoroka
September 7, 2023 18:17 2m 23s dev
dev
September 7, 2023 18:17 2m 23s
Merge pull request #15 from elsoroka/mykelk-highlight-1 CI #72: Commit 2bf5f78 pushed by elsoroka
September 7, 2023 18:15 2m 56s main
main
September 7, 2023 18:15 2m 56s
Update README.md CI #71: Pull request #15 opened by mykelk
August 28, 2023 18:37 5m 59s mykelk-highlight-1
mykelk-highlight-1
August 28, 2023 18:37 5m 59s
Merge pull request #13 from elsoroka/dev CI #70: Commit c38df61 pushed by elsoroka
August 27, 2023 21:31 2m 4s main
main
August 27, 2023 21:31 2m 4s
A couple improvements CI #69: Pull request #13 synchronize by elsoroka
August 27, 2023 21:23 1m 51s dev
dev
August 27, 2023 21:23 1m 51s
A couple improvements CI #68: Pull request #13 synchronize by elsoroka
August 27, 2023 21:14 1m 40s dev
dev
August 27, 2023 21:14 1m 40s
A couple improvements CI #67: Pull request #13 opened by elsoroka
August 27, 2023 19:17 1m 57s dev
dev
August 27, 2023 19:17 1m 57s
Merge pull request #12 from elsoroka/dev CI #66: Commit b70e24a pushed by elsoroka
August 26, 2023 20:15 1m 42s main
main
August 26, 2023 20:15 1m 42s
Uninterpreted functions and interactive solving CI #65: Pull request #12 opened by elsoroka
August 26, 2023 20:11 1m 44s dev
dev
August 26, 2023 20:11 1m 44s
Merge pull request #10 from elsoroka/dev CI #64: Commit f86a1da pushed by elsoroka
August 19, 2023 15:48 2m 1s main
main
August 19, 2023 15:48 2m 1s
Documentation updates CI #63: Pull request #10 opened by elsoroka
August 19, 2023 15:45 1m 32s dev
dev
August 19, 2023 15:45 1m 32s
Merge pull request #9 from elsoroka/dev CI #62: Commit bcbc8e9 pushed by elsoroka
August 19, 2023 15:05 2m 0s main
main
August 19, 2023 15:05 2m 0s
Merge name change BooleanSatisfiability.jl -> Satisfiability.jl CI #61: Pull request #9 opened by elsoroka
August 19, 2023 15:01 2m 23s dev
dev
August 19, 2023 15:01 2m 23s
Merge pull request #8 from elsoroka/dev CI #60: Commit 5f0c590 pushed by elsoroka
August 16, 2023 07:31 1m 48s main
main
August 16, 2023 07:31 1m 48s
Architecture improvements and support for fixed-size BitVectors CI #59: Pull request #8 synchronize by elsoroka
August 16, 2023 07:28 1m 36s dev
dev
August 16, 2023 07:28 1m 36s
Architecture improvements and support for fixed-size BitVectors CI #58: Pull request #8 synchronize by elsoroka
August 16, 2023 06:26 1m 43s dev
dev
August 16, 2023 06:26 1m 43s
Architecture improvements and support for fixed-size BitVectors CI #57: Pull request #8 opened by elsoroka
August 16, 2023 01:19 1m 18s dev
dev
August 16, 2023 01:19 1m 18s