Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add forward ref to duality (#1077) Compile blueprint and paper #252: Commit 6c28f1d pushed by teorth
February 5, 2025 02:25 26m 57s main
main
February 5, 2025 02:25 26m 57s
add forward ref to duality Compile blueprint and paper #251: Pull request #1077 opened by teorth
February 4, 2025 17:42 27m 1s add-forward-ref
add-forward-ref
February 4, 2025 17:42 27m 1s
remove redundant items (#1076) Compile blueprint and paper #250: Commit ded5d06 pushed by teorth
February 4, 2025 17:13 28m 32s main
main
February 4, 2025 17:13 28m 32s
remove redundant items Compile blueprint and paper #249: Pull request #1076 opened by teorth
February 4, 2025 17:13 27m 27s fix-merge-conflicts
fix-merge-conflicts
February 4, 2025 17:13 27m 27s
255-equiv (#1075) Compile blueprint and paper #248: Commit e4da598 pushed by teorth
February 4, 2025 17:12 1m 22s main
main
February 4, 2025 17:12 1m 22s
255-equiv Compile blueprint and paper #247: Pull request #1075 synchronize by teorth
February 4, 2025 17:11 27m 4s 255-equiv
255-equiv
February 4, 2025 17:11 27m 4s
chore(ManuallyProved/Equation1692): golf a bit more Compile blueprint and paper #246: Commit 11455f3 pushed by pitmonticone
February 3, 2025 10:49 28m 23s main
main
February 3, 2025 10:49 28m 23s
add Bruno's observations (#1074) Compile blueprint and paper #245: Commit 327b224 pushed by teorth
February 2, 2025 23:08 27m 24s main
main
February 2, 2025 23:08 27m 24s
add Bruno's observations Compile blueprint and paper #244: Pull request #1074 synchronize by teorth
February 2, 2025 23:08 26m 25s update-677
update-677
February 2, 2025 23:08 26m 25s
add Bruno's observations Compile blueprint and paper #243: Pull request #1074 opened by teorth
February 2, 2025 23:08 21s update-677
update-677
February 2, 2025 23:08 21s
chore: golf 1692 a bit more (#1073) Compile blueprint and paper #242: Commit dc00332 pushed by pitmonticone
February 2, 2025 20:35 27m 40s main
main
February 2, 2025 20:35 27m 40s
chore: golf 1692 a bit more Compile blueprint and paper #241: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:07 27m 23s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:07 27m 23s
chore: golf 1692 a bit more Compile blueprint and paper #240: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:05 2m 29s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:05 2m 29s
chore: golf 1692 a bit more Compile blueprint and paper #239: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:03 2m 21s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:03 2m 21s
chore: golf 1692 a bit more Compile blueprint and paper #238: Pull request #1073 synchronize by pitmonticone
February 2, 2025 01:47 15m 55s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 01:47 15m 55s
chore: golf 1692 a bit more Compile blueprint and paper #237: Pull request #1073 synchronize by pitmonticone
February 2, 2025 01:39 7m 58s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 01:39 7m 58s
chore: golf 1692 a bit more Compile blueprint and paper #236: Pull request #1073 synchronize by pitmonticone
February 2, 2025 01:39 57s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 01:39 57s
github_actions in /. - Update #957368802 Dependabot Updates #7: by dependabot bot
February 1, 2025 23:44 34s main
main
February 1, 2025 23:44 34s
Write the rewriting background + confluence bits (#1055) Compile blueprint and paper #235: Commit fab9067 pushed by teorth
February 1, 2025 20:10 27m 29s main
main
February 1, 2025 20:10 27m 29s
Write the rewriting background + confluence bits Claim Issue #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Write the rewriting background + confluence bits Disclaim Issue #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Write the rewriting background + confluence bits Awaiting Review #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Write the rewriting background + confluence bits Withdraw PR #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Write the rewriting background + confluence bits Propose PR #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Write the rewriting background + confluence bits Compile blueprint and paper #234: Pull request #1055 synchronize by codyroux
February 1, 2025 19:57 26m 40s codyroux:paper-confluence
codyroux:paper-confluence
February 1, 2025 19:57 26m 40s