Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Codyroux/boolean ring Disclaim Issue #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 3s
January 26, 2025 15:30 3s
Codyroux/boolean ring Awaiting Review #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 2s
January 26, 2025 15:30 2s
Codyroux/boolean ring Withdraw PR #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 3s
January 26, 2025 15:30 3s
Codyroux/boolean ring Propose PR #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 3s
January 26, 2025 15:30 3s
Codyroux/boolean ring Claim Issue #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 3s
January 26, 2025 15:30 3s
Codyroux/boolean ring (#708) Compile blueprint and paper #210: Commit 532fc93 pushed by Shreyas4991
January 25, 2025 22:34 26m 16s main
main
January 25, 2025 22:34 26m 16s
Codyroux/boolean ring Compile blueprint and paper #208: Pull request #708 synchronize by codyroux
January 25, 2025 21:31 26m 5s codyroux:codyroux/boolean-ring
codyroux:codyroux/boolean-ring
January 25, 2025 21:31 26m 5s
Codyroux/boolean ring Compile blueprint and paper #207: Pull request #708 synchronize by codyroux
January 25, 2025 20:23 25m 43s codyroux:codyroux/boolean-ring
codyroux:codyroux/boolean-ring
January 25, 2025 20:23 25m 43s
Write the rewriting background + confluence bits Awaiting Review #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Withdraw PR #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Propose PR #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Claim Issue #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Disclaim Issue #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Withdraw PR #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
Write the rewriting background + confluence bits Awaiting Review #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
Write the rewriting background + confluence bits Propose PR #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
Write the rewriting background + confluence bits Disclaim Issue #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
Write the rewriting background + confluence bits Claim Issue #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
equation 1729 formalisation Compile blueprint and paper #201: Pull request #1063 synchronize by Shreyas4991
January 24, 2025 23:37 25m 44s Shreyas4991:ramanujan_eq
Shreyas4991:ramanujan_eq
January 24, 2025 23:37 25m 44s
Write the rewriting background + confluence bits Awaiting Review #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s
Write the rewriting background + confluence bits Propose PR #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s
Write the rewriting background + confluence bits Claim Issue #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s
Write the rewriting background + confluence bits Withdraw PR #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s