Skip to content

Actions: msakai/toysolver

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ToJSON/FromJSON instances to converters
build #518: Pull request #120 synchronize by msakai
November 24, 2024 15:01 15m 41s feature/converter-to-json
November 24, 2024 15:01 15m 41s
Merge pull request #123 from msakai/feature/reduce-transformers-2
build #517: Commit 38bf6d3 pushed by msakai
November 24, 2024 14:02 14m 7s master
November 24, 2024 14:02 14m 7s
Add ToJSON/FromJSON instances to converters
build #515: Pull request #120 synchronize by msakai
November 24, 2024 12:39 14m 19s feature/converter-to-json
November 24, 2024 12:39 14m 19s
fix typo
build #514: Commit 2aca66b pushed by msakai
November 24, 2024 12:35 17m 12s master
November 24, 2024 12:35 17m 12s
Add ToJSON/FromJSON instances to converters
build #513: Pull request #120 synchronize by msakai
November 24, 2024 08:49 9m 10s feature/converter-to-json
November 24, 2024 08:49 9m 10s
Merge pull request #122 from msakai/fix-some-warnings
build #512: Commit 46e1509 pushed by msakai
November 21, 2024 04:16 36m 45s master
November 21, 2024 04:16 36m 45s
Fix some warnings
build #511: Pull request #122 opened by msakai
November 21, 2024 03:37 30m 37s fix-some-warnings
November 21, 2024 03:37 30m 37s
Add ToJSON/FromJSON instances to converters
build #510: Pull request #120 synchronize by msakai
November 18, 2024 15:48 10m 47s feature/converter-to-json
November 18, 2024 15:48 10m 47s
Add ToJSON/FromJSON instances to converters
build #509: Pull request #120 synchronize by msakai
November 17, 2024 15:04 16m 28s 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
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
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
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
November 17, 2024 09:43 16m 21s
Add ToJSON/FromJSON instances to converters
build #504: Pull request #120 opened by msakai
November 17, 2024 09:40 14m 26s 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
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
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
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
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
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
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
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
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
November 10, 2024 10:54 15m 17s