Skip to content

Actions: CodingThrust/problem-reductions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,218 workflow runs
3,218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add 11 medium-confidence reduction rules (#1010) Deploy Documentation #354: Commit 90fcc85 pushed by GiggleLiu
5m 51s main
main
5m 51s
feat: add 11 medium-confidence reduction rules (#1010) CI #1658: Commit 90fcc85 pushed by GiggleLiu
9m 45s main
main
9m 45s
feat: add 11 medium-confidence reduction rules CI #1657: Pull request #1010 synchronize by GiggleLiu
10m 14s jg/rules-medium
jg/rules-medium
10m 14s
feat: add 11 medium-confidence reduction rules CI #1656: Pull request #1010 synchronize by GiggleLiu
10m 1s jg/rules-medium
jg/rules-medium
10m 1s
feat: add 11 medium-confidence reduction rules CI #1655: Pull request #1010 synchronize by GiggleLiu
17m 52s jg/rules-medium
jg/rules-medium
17m 52s
feat: add 11 medium-confidence reduction rules CI #1654: Pull request #1010 synchronize by GiggleLiu
13m 13s jg/rules-medium
jg/rules-medium
13m 13s
feat: add verify-reduction skill CI #1653: Pull request #979 synchronize by zazabap
9m 9s feat/verify-reduction-skill
feat/verify-reduction-skill
9m 9s
feat: add verify-reduction skill CI #1652: Pull request #979 synchronize by zazabap
9m 38s feat/verify-reduction-skill
feat/verify-reduction-skill
9m 38s
feat: add verify-reduction skill CI #1651: Pull request #979 synchronize by zazabap
9m 26s feat/verify-reduction-skill
feat/verify-reduction-skill
9m 26s
feat: add 11 medium-confidence reduction rules CI #1650: Pull request #1010 opened by GiggleLiu
2h 7m 3s jg/rules-medium
jg/rules-medium
2h 7m 3s
Community Call Reminder Community Call Reminder #7: Scheduled
7s main
main
7s
refactor: schema-driven pred create (11K → 2.3K lines) (#1008) CI #1649: Commit 22c4b05 pushed by GiggleLiu
9m 21s main
main
9m 21s
refactor: schema-driven pred create (11K → 2.3K lines) (#1008) Deploy Documentation #353: Commit 22c4b05 pushed by GiggleLiu
5m 33s main
main
5m 33s
refactor: schema-driven pred create (11K → 2.3K lines) CI #1648: Pull request #1008 synchronize by GiggleLiu
9m 13s schema-driven-create
schema-driven-create
9m 13s
refactor: schema-driven pred create (11K → 2.3K lines) CI #1647: Pull request #1008 opened by GiggleLiu
9m 18s schema-driven-create
schema-driven-create
9m 18s
fix(#974): add 39 example-db tests and 31 paper entries for reduction… CI #1646: Commit 2c81f94 pushed by GiggleLiu
9m 16s main
main
9m 16s
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
fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1645: Pull request #997 synchronize by GiggleLiu
9m 21s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
9m 21s
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: batch implement 17 reduction rules with 14 new models (#999) CI #1644: Commit c57a131 pushed by GiggleLiu
8m 49s main
main
8m 49s
feat: batch implement 17 reduction rules with 14 new models CI #1643: Pull request #999 synchronize by GiggleLiu
9m 15s jg/new-rules-batch1
jg/new-rules-batch1
9m 15s
feat: batch implement 17 reduction rules with 14 new models CI #1642: Pull request #999 synchronize by GiggleLiu
8m 55s jg/new-rules-batch1
jg/new-rules-batch1
8m 55s
feat: batch implement 17 reduction rules with 14 new models CI #1641: Pull request #999 synchronize by GiggleLiu
9m 4s jg/new-rules-batch1
jg/new-rules-batch1
9m 4s
fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1640: Pull request #997 synchronize by zazabap
8m 54s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
8m 54s
feat: batch implement 17 reduction rules with 14 new models CI #1639: Pull request #999 synchronize by GiggleLiu
9m 3s jg/new-rules-batch1
jg/new-rules-batch1
9m 3s