Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,981 workflow runs
11,981 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Claim Issue #1292: Issue comment #1069 (comment) created by teorth
January 29, 2025 04:32 2s
January 29, 2025 04:32 2s
Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Withdraw PR #1292: Issue comment #1069 (comment) created by teorth
January 29, 2025 04:32 2s
January 29, 2025 04:32 2s
Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Propose PR #1292: Issue comment #1069 (comment) created by teorth
January 29, 2025 04:32 2s
January 29, 2025 04:32 2s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Withdraw PR #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 3s
January 29, 2025 04:08 3s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Disclaim Issue #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 3s
January 29, 2025 04:08 3s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Claim Issue #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 3s
January 29, 2025 04:08 3s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Awaiting Review #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 2s
January 29, 2025 04:08 2s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Propose PR #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 19s
January 29, 2025 04:08 19s
Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Compile blueprint and paper #222: Pull request #1069 opened by Aaron1011
January 29, 2025 04:08 27m 44s Aaron1011:aaron1011/1692-final
Aaron1011:aaron1011/1692-final
January 29, 2025 04:08 27m 44s
Write the rewriting background + confluence bits Compile blueprint and paper #221: Pull request #1055 synchronize by codyroux
January 28, 2025 19:40 26m 32s codyroux:paper-confluence
codyroux:paper-confluence
January 28, 2025 19:40 26m 32s
[BLUEPRINT]: Fix typos Compile blueprint and paper #220: Commit 1d1998f pushed by pitmonticone
January 28, 2025 11:16 27m 6s main
main
January 28, 2025 11:16 27m 6s
typo (#1068) Compile blueprint and paper #219: Commit bda8d3a pushed by pitmonticone
January 27, 2025 11:03 27m 33s main
main
January 27, 2025 11:03 27m 33s
typo Compile blueprint and paper #218: Pull request #1068 opened by madvorak
January 27, 2025 08:20 25m 47s madvorak:main
madvorak:main
January 27, 2025 08:20 25m 47s
manually put in item labels (#1067) Compile blueprint and paper #217: Commit 856b003 pushed by teorth
January 26, 2025 22:35 27m 22s main
main
January 26, 2025 22:35 27m 22s
manually put in item labels Compile blueprint and paper #216: Pull request #1067 opened by teorth
January 26, 2025 22:35 25m 39s add-item
add-item
January 26, 2025 22:35 25m 39s
fix 1516 greedy construction (#1066) Compile blueprint and paper #215: Commit 21fa614 pushed by teorth
January 26, 2025 21:46 27m 49s main
main
January 26, 2025 21:46 27m 49s
fix 1516 greedy construction Compile blueprint and paper #214: Pull request #1066 opened by teorth
January 26, 2025 20:34 26m 45s fix-1516
fix-1516
January 26, 2025 20:34 26m 45s
Write the rewriting background + confluence bits Compile blueprint and paper #213: Pull request #1055 synchronize by codyroux
January 26, 2025 19:50 25m 38s codyroux:paper-confluence
codyroux:paper-confluence
January 26, 2025 19:50 25m 38s
Write the rewriting background + confluence bits Compile blueprint and paper #212: Pull request #1055 synchronize by codyroux
January 26, 2025 19:15 26m 42s codyroux:paper-confluence
codyroux:paper-confluence
January 26, 2025 19:15 26m 42s
Write the rewriting background + confluence bits Claim Issue #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
Write the rewriting background + confluence bits Disclaim Issue #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
Write the rewriting background + confluence bits Withdraw PR #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
Write the rewriting background + confluence bits Propose PR #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
Write the rewriting background + confluence bits Awaiting Review #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #211: Pull request #1054 synchronize by marcop5
January 26, 2025 18:55 25m 58s pitmonticone:1516-255
pitmonticone:1516-255
January 26, 2025 18:55 25m 58s