Skip to content

Actions: msakai/toysolver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ToJSON instances to converters (WIP) build #510: Pull request #120 synchronize by msakai
November 18, 2024 15:48 10m 47s feature/converter-to-json
feature/converter-to-json
November 18, 2024 15:48 10m 47s
Add ToJSON instances to converters (WIP) build #509: Pull request #120 synchronize by msakai
November 17, 2024 15:04 16m 28s feature/converter-to-json
feature/converter-to-json
November 17, 2024 15:04 16m 28s
Merge pull request #121 from msakai/feature/reduce-transformers build #508: Commit e6360e5 pushed by msakai
November 17, 2024 14:20 14m 5s master
master
November 17, 2024 14:20 14m 5s
Change SAT2KSATInfo to be synonym of TseitinInfo build #507: Pull request #121 synchronize by msakai
November 17, 2024 12:34 15m 10s feature/reduce-transformers
feature/reduce-transformers
November 17, 2024 12:34 15m 10s
Change SAT2KSATInfo to be synonym of TseitinInfo build #506: Pull request #121 synchronize by msakai
November 17, 2024 11:38 14m 34s feature/reduce-transformers
feature/reduce-transformers
November 17, 2024 11:38 14m 34s
Change SAT2KSATInfo to be synonym of TseitinInfo build #505: Pull request #121 opened by msakai
November 17, 2024 09:43 16m 21s feature/reduce-transformers
feature/reduce-transformers
November 17, 2024 09:43 16m 21s
Add ToJSON instances to converters (WIP) build #504: Pull request #120 opened by msakai
November 17, 2024 09:40 14m 26s feature/converter-to-json
feature/converter-to-json
November 17, 2024 09:40 14m 26s
Merge pull request #119 from msakai/feature/toyconvert-dump-info build #503: Commit 5f69a54 pushed by msakai
November 16, 2024 10:22 16m 52s master
master
November 16, 2024 10:22 16m 52s
Add --dump-info option to toyconvert build #502: Pull request #119 synchronize by msakai
November 16, 2024 09:27 14m 49s feature/toyconvert-dump-info
feature/toyconvert-dump-info
November 16, 2024 09:27 14m 49s
Add --dump-info option to toyconvert build #501: Pull request #119 synchronize by msakai
November 16, 2024 07:42 17m 43s feature/toyconvert-dump-info
feature/toyconvert-dump-info
November 16, 2024 07:42 17m 43s
Add --dump-info option to toyconvert build #500: Pull request #119 opened by msakai
November 16, 2024 07:14 11m 54s feature/toyconvert-dump-info
feature/toyconvert-dump-info
November 16, 2024 07:14 11m 54s
Merge pull request #118 from msakai/extra-doc-files build #499: Commit 65200fe pushed by msakai
November 10, 2024 23:10 14m 51s master
master
November 10, 2024 23:10 14m 51s
Use Extra-Doc-Files section in toysolver.cabal build #498: Pull request #118 opened by msakai
November 10, 2024 15:08 8m 18s extra-doc-files
extra-doc-files
November 10, 2024 15:08 8m 18s
improve misc/collect-min-version-macro.rb build #497: Commit 736e734 pushed by msakai
November 10, 2024 11:20 14m 34s master
master
November 10, 2024 11:20 14m 34s
Merge pull request #117 from msakai/update-coveralls-and-haddock build #496: Commit d765164 pushed by msakai
November 10, 2024 11:05 16m 23s master
master
November 10, 2024 11:05 16m 23s
Merge pull request #106 from msakai/use-prettyprinter-package build #495: Commit 948c346 pushed by msakai
November 10, 2024 10:54 15m 17s master
master
November 10, 2024 10:54 15m 17s
GitHub Actions: Update coveralls and haddock configuration build #494: Pull request #117 opened by msakai
November 10, 2024 08:39 16m 19s update-coveralls-and-haddock
update-coveralls-and-haddock
November 10, 2024 08:39 16m 19s
Use prettyprinter package if optparse-applicative is >=0.18 build #493: Pull request #106 synchronize by msakai
November 10, 2024 08:28 15m 48s use-prettyprinter-package
use-prettyprinter-package
November 10, 2024 08:28 15m 48s
update CHANGELOG.markdown build #492: Commit c3850a7 pushed by msakai
November 10, 2024 08:23 16m 6s master
master
November 10, 2024 08:23 16m 6s
relax hashable upper bound to allow hashable-1.5.0.0 build #491: Commit 9baf3cf pushed by msakai
November 10, 2024 07:42 23m 27s master
master
November 10, 2024 07:42 23m 27s
Merge pull request #116 from msakai/macos-aarch64-x86_64 build #490: Commit 946807a pushed by msakai
November 10, 2024 07:28 23m 10s master
master
November 10, 2024 07:28 23m 10s
GitHub Actions: build x86_64 and aarch64 binaries for macos build #489: Pull request #116 synchronize by msakai
November 10, 2024 06:54 13m 52s macos-aarch64-x86_64
macos-aarch64-x86_64
November 10, 2024 06:54 13m 52s
GitHub Actions: build x86_64 and aarch64 binaries for macos build #488: Pull request #116 synchronize by msakai
November 10, 2024 01:48 16m 20s macos-aarch64-x86_64
macos-aarch64-x86_64
November 10, 2024 01:48 16m 20s
GitHub Actions: build x86_64 and aarch64 binaries for macos build #487: Pull request #116 synchronize by msakai
November 10, 2024 00:36 22m 33s macos-aarch64-x86_64
macos-aarch64-x86_64
November 10, 2024 00:36 22m 33s
Merge pull request #115 from msakai/github-actions-hash-stack-yaml build #486: Commit 9ded194 pushed by msakai
November 10, 2024 00:29 15m 55s master
master
November 10, 2024 00:29 15m 55s