Skip to content

Actions: CodingThrust/problem-reductions

Actions

Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
368 workflow runs
368 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix paper completeness check false warning (#1049) Deploy Documentation #368: Commit e38b1b5 pushed by zazabap
5m 49s main
main
5m 49s
Beautify paper: cover page, indices, CLI args, page numbering (#1045) Deploy Documentation #367: Commit f2a3648 pushed by GiggleLiu
5m 30s main
main
5m 30s
fix issues (#1042) Deploy Documentation #366: Commit d8a6168 pushed by GiggleLiu
6m 12s main
main
6m 12s
update docs Deploy Documentation #365: Commit 3024163 pushed by GiggleLiu
5m 58s main
main
5m 58s
update skills Deploy Documentation #364: Commit c4877e1 pushed by GiggleLiu
11m 8s main
main
11m 8s
release: v0.5.0 Deploy Documentation #363: Commit 0c11475 pushed by GiggleLiu
5m 37s main
main
5m 37s
Merge branch 'main' of github.com:CodingThrust/problem-reductions Deploy Documentation #362: Commit cbd4af9 pushed by GiggleLiu
9m 37s main
main
9m 37s
feat: add find-solver and find-problem skills, fix KColoring/KN seria… Deploy Documentation #361: Commit f85865a pushed by GiggleLiu
5m 57s main
main
5m 57s
feat: batch add 14 reduction rules (hard rules phase 2) (#1028) Deploy Documentation #360: Commit 0f9db3c pushed by GiggleLiu
6m 3s main
main
6m 3s
update papers Deploy Documentation #359: Commit 8cd6ac1 pushed by GiggleLiu
6m 26s main
main
6m 26s
docs: add Philosophy section to CLAUDE.md Deploy Documentation #358: Commit 1a91afb pushed by GiggleLiu
6m 14s main
main
6m 14s
feat: batch implement reduction rules (phases 1-3) (#1017) Deploy Documentation #357: Commit a784239 pushed by GiggleLiu
6m 7s main
main
6m 7s
feat: Decision wrapper for optimization→decision conversion (#1014) Deploy Documentation #356: Commit fb9c608 pushed by GiggleLiu
5m 49s main
main
5m 49s
feat: add verify-reduction skill (#979) Deploy Documentation #355: Commit 07caf14 pushed by GiggleLiu
5m 59s main
main
5m 59s
feat: add 11 medium-confidence reduction rules (#1010) Deploy Documentation #354: Commit 90fcc85 pushed by GiggleLiu
5m 51s main
main
5m 51s
refactor: schema-driven pred create (11K → 2.3K lines) (#1008) Deploy Documentation #353: Commit 22c4b05 pushed by GiggleLiu
5m 33s main
main
5m 33s
fix(#974): add 39 example-db tests and 31 paper entries for reduction… Deploy Documentation #352: Commit 2c81f94 pushed by GiggleLiu
5m 33s main
main
5m 33s
feat: batch implement 17 reduction rules with 14 new models (#999) Deploy Documentation #351: Commit c57a131 pushed by GiggleLiu
5m 31s main
main
5m 31s
feat: add 20 problem models with ILP rules (#976) Deploy Documentation #350: Commit 61f059c pushed by isPANN
5m 37s main
main
5m 37s
feat: add 10 reduction rules (#770) (#972) Deploy Documentation #349: Commit 423506c pushed by zazabap
5m 33s main
main
5m 33s
feat: add 38 problem models (#960) Deploy Documentation #348: Commit 183b19a pushed by zazabap
5m 34s main
main
5m 34s
feat: add 11 Tier 1a + 1b medium-confidence reduction rules (#770) (#… Deploy Documentation #347: Commit 0f51be6 pushed by isPANN
5m 22s main
main
5m 22s
Fix #441: Add MinimumExternalMacroDataCompression model (#819) Deploy Documentation #346: Commit a70b132 pushed by isPANN
5m 35s main
main
5m 35s
Fix #515: [Model] RegisterSufficiency (#816) Deploy Documentation #345: Commit 81d92e5 pushed by isPANN
5m 26s main
main
5m 26s
feat: add IntegerExpressionMembership model (#552) (#814) Deploy Documentation #344: Commit b4a2c62 pushed by isPANN
5m 16s main
main
5m 16s