Skip to content

Actions: msakai/toysolver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change ToySolver.SAT.Encoder.Integer to encode integer variables without introducing <= constraints build #653: Pull request #162 opened by msakai
April 13, 2025 08:51 8m 11s feature/integer-log-encoding
feature/integer-log-encoding
April 13, 2025 08:51 8m 11s
Merge pull request #161 from msakai/feature/optimize-unconstrain-pb-2 build #652: Commit 09fa99f pushed by msakai
April 11, 2025 14:42 12m 8s master
master
April 11, 2025 14:42 12m 8s
Optimize unconstrainPB' build #651: Pull request #161 opened by msakai
April 11, 2025 12:36 11m 58s feature/optimize-unconstrain-pb-2
feature/optimize-unconstrain-pb-2
April 11, 2025 12:36 11m 58s
Merge pull request #159 from msakai/feature/optimize-unconstrain-pb build #650: Commit 7276e43 pushed by msakai
April 11, 2025 12:04 17m 50s master
master
April 11, 2025 12:04 17m 50s
Merge pull request #160 from msakai/fix-cabal build #649: Commit 35eb293 pushed by msakai
April 11, 2025 11:53 22m 40s master
master
April 11, 2025 11:53 22m 40s
Fix cabal file build #648: Pull request #160 opened by msakai
April 11, 2025 11:11 18m 57s fix-cabal
fix-cabal
April 11, 2025 11:11 18m 57s
Optimize unconstrainPB' a little build #647: Pull request #159 synchronize by msakai
April 11, 2025 09:56 13m 31s feature/optimize-unconstrain-pb
feature/optimize-unconstrain-pb
April 11, 2025 09:56 13m 31s
Optimize unconstrainPB' a little build #646: Pull request #159 opened by msakai
April 11, 2025 09:54 15m 45s feature/optimize-unconstrain-pb
feature/optimize-unconstrain-pb
April 11, 2025 09:54 15m 45s
Merge pull request #158 from msakai/update-deps-202504 build #645: Commit d5d8ad7 pushed by msakai
April 7, 2025 03:22 20m 41s master
master
April 7, 2025 03:22 20m 41s
Update dependencies (2025-04) build #644: Pull request #158 opened by msakai
April 7, 2025 00:25 19m 3s update-deps-202504
update-deps-202504
April 7, 2025 00:25 19m 3s
Merge pull request #157 from msakai/feature/wbo2pb-omit-top-constraint build #643: Commit d717a5b pushed by msakai
April 6, 2025 11:57 33m 13s master
master
April 6, 2025 11:57 33m 13s
Do not produce obj<T constraint in wbo2pb when all interpretations are admissible build #642: Pull request #157 opened by msakai
April 6, 2025 01:22 28m 47s feature/wbo2pb-omit-top-constraint
feature/wbo2pb-omit-top-constraint
April 6, 2025 01:22 28m 47s
Merge pull request #151 from msakai/common-stanza build #641: Commit 9105fc8 pushed by msakai
February 28, 2025 14:35 12m 17s master
master
February 28, 2025 14:35 12m 17s
Use common stanza build #640: Pull request #151 synchronize by msakai
February 27, 2025 23:20 12m 37s common-stanza
common-stanza
February 27, 2025 23:20 12m 37s
Use common stanza build #639: Pull request #151 synchronize by msakai
February 27, 2025 23:13 6m 33s common-stanza
common-stanza
February 27, 2025 23:13 6m 33s
Merge pull request #156 from msakai/drop-ghc-9.0 build #638: Commit 028f037 pushed by msakai
February 27, 2025 13:49 15m 38s master
master
February 27, 2025 13:49 15m 38s
Stop supporting GHC 9.0 and below build #637: Pull request #156 opened by msakai
February 27, 2025 12:55 13m 7s drop-ghc-9.0
drop-ghc-9.0
February 27, 2025 12:55 13m 7s
Merge pull request #154 from msakai/drop-win32 build #636: Commit 38141c4 pushed by msakai
February 26, 2025 03:33 25m 29s master
master
February 26, 2025 03:33 25m 29s
Merge pull request #155 from msakai/fix-build-yaml-parse-error build #635: Commit dc25843 pushed by msakai
February 26, 2025 03:28 24m 39s master
master
February 26, 2025 03:28 24m 39s
Fix parse error of .github/workflows/build.yaml build #634: Pull request #155 opened by msakai
February 25, 2025 23:42 25m 37s fix-build-yaml-parse-error
fix-build-yaml-parse-error
February 25, 2025 23:42 25m 37s
stop supporting windows-i386 build #633: Commit 475c26f pushed by msakai
February 25, 2025 15:09 17m 47s test-drop-win32
test-drop-win32
February 25, 2025 15:09 17m 47s
Merge pull request #153 from msakai/spike/ghc-9.10.1-win64 build #632: Commit 43ae5cd pushed by msakai
February 25, 2025 14:45 Failure master
master
February 25, 2025 14:45 Failure
Stop supporting windows-i386 build #631: Pull request #154 opened by msakai
February 25, 2025 14:42 16m 31s drop-win32
drop-win32
February 25, 2025 14:42 16m 31s
use GHC 9.10.1 for x86_64 windows build build #630: Commit 34ec075 pushed by msakai
February 25, 2025 14:38 Failure spike/ghc-9.10.1-win64
spike/ghc-9.10.1-win64
February 25, 2025 14:38 Failure
Use GHC 9.10.1 for x86_64 windows build build #629: Pull request #153 synchronize by msakai
February 25, 2025 12:41 23m 48s spike/ghc-9.10.1-win64
spike/ghc-9.10.1-win64
February 25, 2025 12:41 23m 48s