Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,034 workflow runs
12,034 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

blueprint: fix typos in chapter about 1516 (#1090) Compile blueprint and paper #294: Commit 1951e95 pushed by pitmonticone
February 27, 2025 17:15 28m 2s main
main
February 27, 2025 17:15 28m 2s
blueprint: fix typos in chapter about 1516 Compile blueprint and paper #293: Pull request #1090 synchronize by pitmonticone
February 27, 2025 16:29 25m 56s pitmonticone:LL/blueprint_1516
pitmonticone:LL/blueprint_1516
February 27, 2025 16:29 25m 56s
blueprint: fix typos in chapter about 677 (#1089) Compile blueprint and paper #292: Commit 44ccda0 pushed by pitmonticone
February 27, 2025 16:28 27m 3s main
main
February 27, 2025 16:28 27m 3s
blueprint: fix typos in chapter about 1516 Compile blueprint and paper #291: Pull request #1090 synchronize by pitmonticone
February 27, 2025 16:22 7m 48s pitmonticone:LL/blueprint_1516
pitmonticone:LL/blueprint_1516
February 27, 2025 16:22 7m 48s
blueprint: fix typos in chapter about 677 Disclaim Issue #1308: Issue comment #1089 (comment) created by LorenzoLuccioli
February 27, 2025 15:55 3s
February 27, 2025 15:55 3s
blueprint: fix typos in chapter about 677 Propose PR #1308: Issue comment #1089 (comment) created by LorenzoLuccioli
February 27, 2025 15:55 3s
February 27, 2025 15:55 3s
blueprint: fix typos in chapter about 677 Awaiting Review #1308: Issue comment #1089 (comment) created by LorenzoLuccioli
February 27, 2025 15:55 3s
February 27, 2025 15:55 3s
blueprint: fix typos in chapter about 677 Withdraw PR #1308: Issue comment #1089 (comment) created by LorenzoLuccioli
February 27, 2025 15:55 4s
February 27, 2025 15:55 4s
blueprint: fix typos in chapter about 677 Claim Issue #1308: Issue comment #1089 (comment) created by LorenzoLuccioli
February 27, 2025 15:55 4s
February 27, 2025 15:55 4s
blueprint: fix typos in chapter about 677 Compile blueprint and paper #290: Pull request #1089 synchronize by LorenzoLuccioli
February 27, 2025 15:54 27m 22s pitmonticone:LL/blueprint_677'
pitmonticone:LL/blueprint_677'
February 27, 2025 15:54 27m 22s
blueprint: fix typos in chapter about 1516 Compile blueprint and paper #289: Pull request #1090 opened by LorenzoLuccioli
February 27, 2025 15:49 26m 33s pitmonticone:LL/blueprint_1516
pitmonticone:LL/blueprint_1516
February 27, 2025 15:49 26m 33s
blueprint: fix typos in chapter about 677 Disclaim Issue #1307: Issue comment #1089 (comment) created by pitmonticone
February 27, 2025 15:48 3s
February 27, 2025 15:48 3s
blueprint: fix typos in chapter about 677 Withdraw PR #1307: Issue comment #1089 (comment) created by pitmonticone
February 27, 2025 15:48 3s
February 27, 2025 15:48 3s
blueprint: fix typos in chapter about 677 Claim Issue #1307: Issue comment #1089 (comment) created by pitmonticone
February 27, 2025 15:48 3s
February 27, 2025 15:48 3s
blueprint: fix typos in chapter about 677 Propose PR #1307: Issue comment #1089 (comment) created by pitmonticone
February 27, 2025 15:48 3s
February 27, 2025 15:48 3s
blueprint: fix typos in chapter about 677 Awaiting Review #1307: Issue comment #1089 (comment) created by pitmonticone
February 27, 2025 15:48 3s
February 27, 2025 15:48 3s
blueprint: fix typos in chapter about 677 Compile blueprint and paper #288: Pull request #1089 synchronize by pitmonticone
February 27, 2025 15:47 7m 15s pitmonticone:LL/blueprint_677'
pitmonticone:LL/blueprint_677'
February 27, 2025 15:47 7m 15s
blueprint: fix typos in chapter about 677 Compile blueprint and paper #287: Pull request #1089 opened by LorenzoLuccioli
February 27, 2025 15:42 5m 22s pitmonticone:LL/blueprint_677'
pitmonticone:LL/blueprint_677'
February 27, 2025 15:42 5m 22s
Eq1323 not implies eq2744 (#1021) Compile blueprint and paper #286: Commit 04c2912 pushed by teorth
February 25, 2025 17:10 27m 26s main
main
February 25, 2025 17:10 27m 26s
add linear discussion to conclusions sketch of paper (#1088) Compile blueprint and paper #285: Commit cc6b59e pushed by teorth
February 24, 2025 18:38 27m 21s main
main
February 24, 2025 18:38 27m 21s
add linear discussion to conclusions sketch of paper Compile blueprint and paper #284: Pull request #1088 opened by teorth
February 24, 2025 18:38 24m 36s add-linear
add-linear
February 24, 2025 18:38 24m 36s
add link to linear analysis (#1087) Compile blueprint and paper #283: Commit 5e9f6fa pushed by teorth
February 24, 2025 04:17 25m 56s main
main
February 24, 2025 04:17 25m 56s
add link to linear analysis Compile blueprint and paper #282: Pull request #1087 opened by teorth
February 24, 2025 04:17 25m 3s add-linear
add-linear
February 24, 2025 04:17 25m 3s
Eq1323 not implies eq2744 Claim Issue #1306: Issue comment #1021 (comment) created by teorth
February 22, 2025 16:03 3s
February 22, 2025 16:03 3s
Eq1323 not implies eq2744 Awaiting Review #1306: Issue comment #1021 (comment) created by teorth
February 22, 2025 16:03 2s
February 22, 2025 16:03 2s