Skip to content

Actions: CodingThrust/problem-reductions

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,725 workflow runs
1,725 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
feat: add find-solver and find-problem skills, fix KColoring/KN serialization CI #1685: Pull request #1040 opened by GiggleLiu
9m 48s feat/find-solver-find-problem-skills
feat/find-solver-find-problem-skills
9m 48s
feat: batch add 14 reduction rules (hard rules phase 2) (#1028) CI #1684: Commit 0f9db3c pushed by GiggleLiu
9m 52s main
main
9m 52s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1683: Pull request #1028 synchronize by GiggleLiu
10m 10s jg/hard-rules-2
jg/hard-rules-2
10m 10s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1682: Pull request #1028 synchronize by GiggleLiu
10m 0s jg/hard-rules-2
jg/hard-rules-2
10m 0s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1681: Pull request #1028 synchronize by GiggleLiu
9m 9s jg/hard-rules-2
jg/hard-rules-2
9m 9s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1680: Pull request #1028 synchronize by GiggleLiu
7m 48s jg/hard-rules-2
jg/hard-rules-2
7m 48s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1679: Pull request #1028 synchronize by GiggleLiu
20m 14s jg/hard-rules-2
jg/hard-rules-2
20m 14s
update papers CI #1678: Commit 8cd6ac1 pushed by GiggleLiu
10m 23s main
main
10m 23s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1677: Pull request #1028 synchronize by GiggleLiu
3h 9m 17s jg/hard-rules-2
jg/hard-rules-2
3h 9m 17s
feat: batch add 14 reduction rules (hard rules phase 2) CI #1676: Pull request #1028 opened by GiggleLiu
56m 35s jg/hard-rules-2
jg/hard-rules-2
56m 35s
docs: add Philosophy section to CLAUDE.md CI #1675: Commit 1a91afb pushed by GiggleLiu
10m 3s main
main
10m 3s
feat: batch implement reduction rules (phases 1-3) (#1017) CI #1674: Commit a784239 pushed by GiggleLiu
10m 2s main
main
10m 2s
feat: batch implement reduction rules (phases 1-3) CI #1673: Pull request #1017 synchronize by GiggleLiu
10m 31s jg/hard-rules
jg/hard-rules
10m 31s
feat: batch implement reduction rules (phases 1-3) CI #1672: Pull request #1017 synchronize by GiggleLiu
10m 12s jg/hard-rules
jg/hard-rules
10m 12s
feat: batch implement reduction rules (phases 1-3) CI #1671: Pull request #1017 opened by GiggleLiu
9m 55s jg/hard-rules
jg/hard-rules
9m 55s
feat: Decision wrapper for optimization→decision conversion (#1014) CI #1670: Commit fb9c608 pushed by GiggleLiu
10m 5s main
main
10m 5s
feat: Decision wrapper for optimization→decision conversion CI #1669: Pull request #1014 synchronize by GiggleLiu
9m 51s feat/decision-wrapper
feat/decision-wrapper
9m 51s
feat: Decision wrapper for optimization→decision conversion CI #1668: Pull request #1014 synchronize by GiggleLiu
9m 26s feat/decision-wrapper
feat/decision-wrapper
9m 26s
feat: Decision wrapper for optimization→decision conversion CI #1667: Pull request #1014 synchronize by GiggleLiu
9m 24s feat/decision-wrapper
feat/decision-wrapper
9m 24s
feat: Decision wrapper for optimization→decision conversion CI #1666: Pull request #1014 synchronize by GiggleLiu
9m 18s feat/decision-wrapper
feat/decision-wrapper
9m 18s
feat: Decision wrapper for optimization→decision conversion CI #1665: Pull request #1014 synchronize by GiggleLiu
9m 30s feat/decision-wrapper
feat/decision-wrapper
9m 30s
feat: Decision wrapper for optimization→decision conversion CI #1664: Pull request #1014 synchronize by GiggleLiu
9m 12s feat/decision-wrapper
feat/decision-wrapper
9m 12s
feat: Decision wrapper for optimization→decision conversion CI #1663: Pull request #1014 synchronize by GiggleLiu
9m 23s feat/decision-wrapper
feat/decision-wrapper
9m 23s
feat: Decision wrapper for optimization→decision conversion CI #1662: Pull request #1014 synchronize by GiggleLiu
7m 28s feat/decision-wrapper
feat/decision-wrapper
7m 28s
feat: Decision wrapper for optimization→decision conversion CI #1661: Pull request #1014 opened by GiggleLiu
7m 32s feat/decision-wrapper
feat/decision-wrapper
7m 32s