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

Add ToJSON/FromJSON instances to converters build #528: Pull request #120 synchronize by msakai
December 3, 2024 14:12 16m 37s feature/converter-to-json
feature/converter-to-json
December 3, 2024 14:12 16m 37s
Add ToJSON/FromJSON instances to converters build #527: Pull request #120 synchronize by msakai
November 30, 2024 14:35 14m 30s feature/converter-to-json
feature/converter-to-json
November 30, 2024 14:35 14m 30s
Add ToJSON/FromJSON instances to converters build #526: Pull request #120 synchronize by msakai
November 30, 2024 10:50 15m 44s feature/converter-to-json
feature/converter-to-json
November 30, 2024 10:50 15m 44s
Add ToJSON/FromJSON instances to converters build #525: Pull request #120 synchronize by msakai
November 27, 2024 23:59 6m 5s feature/converter-to-json
feature/converter-to-json
November 27, 2024 23:59 6m 5s
Add ToJSON/FromJSON instances to converters build #524: Pull request #120 synchronize by msakai
November 27, 2024 15:47 10m 55s feature/converter-to-json
feature/converter-to-json
November 27, 2024 15:47 10m 55s
Merge pull request #124 from msakai/feature/wbo2ipinfo-no-weights build #523: Commit 79456f7 pushed by msakai
November 26, 2024 03:04 14m 24s master
master
November 26, 2024 03:04 14m 24s
Change WBO2IPInfo not to store weights build #522: Pull request #124 opened by msakai
November 26, 2024 00:14 36m 10s feature/wbo2ipinfo-no-weights
feature/wbo2ipinfo-no-weights
November 26, 2024 00:14 36m 10s
fix warnings build #521: Commit 2148879 pushed by msakai
November 26, 2024 00:13 33m 22s master
master
November 26, 2024 00:13 33m 22s
Add ToJSON/FromJSON instances to converters build #520: Pull request #120 synchronize by msakai
November 25, 2024 16:17 9m 58s feature/converter-to-json
feature/converter-to-json
November 25, 2024 16:17 9m 58s
Add ToJSON/FromJSON instances to converters build #519: Pull request #120 synchronize by msakai
November 24, 2024 16:19 17m 43s feature/converter-to-json
feature/converter-to-json
November 24, 2024 16:19 17m 43s
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
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
master
November 24, 2024 14:02 14m 7s
Change SimplifyMaxSAT2Info and SAT3ToMaxSAT2Info to be synonyms of TseitinInfo build #516: Pull request #123 opened by msakai
November 24, 2024 13:21 18m 2s feature/reduce-transformers-2
feature/reduce-transformers-2
November 24, 2024 13:21 18m 2s
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
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
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
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
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
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
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
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/FromJSON instances to converters 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
ProTip! You can narrow down the results and go further in time using created:<2024-11-17 or the other filters available.