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

Use GHC 9.10.1 for x86_64 windows build build #628: Pull request #153 opened by msakai
February 25, 2025 12:34 6m 2s spike/ghc-9.10.1-win64
spike/ghc-9.10.1-win64
February 25, 2025 12:34 6m 2s
Update release.md build #627: Commit 5ee9284 pushed by msakai
February 22, 2025 00:09 16m 11s master
master
February 22, 2025 00:09 16m 11s
allow base-4.21 (GHC 9.12) build #626: Commit 7a5de05 pushed by msakai
February 21, 2025 03:40 22m 32s master
master
February 21, 2025 03:40 22m 32s
release 0.9.0 build #625: Commit d360366 pushed by msakai
February 18, 2025 10:34 18m 42s master
master
February 18, 2025 10:34 18m 42s
build build #624: by msakai
February 18, 2025 09:52 33m 53s v0.9.0
v0.9.0
February 18, 2025 09:52 33m 53s
Merge pull request #152 from msakai/explicit-base-bounds build #623: Commit b1b00e8 pushed by msakai
February 18, 2025 09:25 35m 36s master
master
February 18, 2025 09:25 35m 36s
Explicitly specify base bounds on all sections build #622: Pull request #152 opened by msakai
February 18, 2025 08:58 21m 18s explicit-base-bounds
explicit-base-bounds
February 18, 2025 08:58 21m 18s
Use common stanza build #621: Pull request #151 opened by msakai
February 18, 2025 08:39 22m 9s common-stanza
common-stanza
February 18, 2025 08:39 22m 9s
build build #620: by msakai
February 18, 2025 07:35 19m 13s v0.9.0
v0.9.0
February 18, 2025 07:35 19m 13s
update CHANGELOG.markdown build #619: Commit c928933 pushed by msakai
February 14, 2025 07:13 23m 45s master
master
February 14, 2025 07:13 23m 45s
Merge pull request #150 from msakai/improve-graph-module build #618: Commit 87fbe8c pushed by msakai
February 11, 2025 23:38 30m 19s master
master
February 11, 2025 23:38 30m 19s
Improve ToySolver.Graph module build #617: Pull request #150 synchronize by msakai
February 11, 2025 23:21 16m 21s improve-graph-module
improve-graph-module
February 11, 2025 23:21 16m 21s
Improve ToySolver.Graph module build #616: Pull request #150 synchronize by msakai
February 11, 2025 14:28 35m 2s improve-graph-module
improve-graph-module
February 11, 2025 14:28 35m 2s
Improve ToySolver.Graph module build #615: Pull request #150 synchronize by msakai
February 11, 2025 14:12 36m 53s improve-graph-module
improve-graph-module
February 11, 2025 14:12 36m 53s
Improve ToySolver.Graph module build #614: Pull request #150 synchronize by msakai
February 10, 2025 00:25 16m 20s improve-graph-module
improve-graph-module
February 10, 2025 00:25 16m 20s
Improve ToySolver.Graph module build #613: Pull request #150 synchronize by msakai
February 9, 2025 08:01 17m 20s improve-graph-module
improve-graph-module
February 9, 2025 08:01 17m 20s
Improve ToySolver.Graph module build #612: Pull request #150 opened by msakai
February 8, 2025 16:09 16m 59s improve-graph-module
improve-graph-module
February 8, 2025 16:09 16m 59s
Merge pull request #149 from msakai/feature/rename-mip2pb-to-ip2pb build #611: Commit bc469e0 pushed by msakai
February 8, 2025 15:06 15m 24s master
master
February 8, 2025 15:06 15m 24s
Rename mip2pb to ip2pb build #610: Pull request #149 opened by msakai
February 8, 2025 14:30 16m 13s feature/rename-mip2pb-to-ip2pb
feature/rename-mip2pb-to-ip2pb
February 8, 2025 14:30 16m 13s
update CHANGELOG.markdown build #609: Commit a90bbd0 pushed by msakai
February 8, 2025 14:23 16m 25s master
master
February 8, 2025 14:23 16m 25s
update Other-Extensions in toysolver.cabal build #608: Commit a9ae9a7 pushed by msakai
February 8, 2025 12:48 17m 11s master
master
February 8, 2025 12:48 17m 11s
fix typo: necesary -> necessary build #607: Commit ae32e7b pushed by msakai
February 8, 2025 12:36 15m 49s master
master
February 8, 2025 12:36 15m 49s
Merge pull request #148 from msakai/fix-pairOfDNFs build #606: Commit 39e0b03 pushed by msakai
February 6, 2025 22:48 15m 24s master
master
February 6, 2025 22:48 15m 24s
Fix pairOfDNFs function to use mutate build #605: Pull request #148 opened by msakai
February 6, 2025 14:54 17m 41s fix-pairOfDNFs
fix-pairOfDNFs
February 6, 2025 14:54 17m 41s
Merge pull request #145 from msakai/update-stack-lts-202502 build #604: Commit 78e4d8d pushed by msakai
February 6, 2025 03:40 17m 52s master
master
February 6, 2025 03:40 17m 52s