Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Write the rewriting background + confluence bits Compile blueprint and paper #165: Pull request #1055 opened by codyroux
January 20, 2025 23:52 24m 50s codyroux:paper-confluence
codyroux:paper-confluence
January 20, 2025 23:52 24m 50s
description of a clause in a text with "with" (#1053) Compile blueprint and paper #163: Commit 68a6284 pushed by teorth
January 20, 2025 21:40 25m 56s main
main
January 20, 2025 21:40 25m 56s
GREEDY-GREEDY HYBRID: Refute 1516->255 Disclaim Issue #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 3s
January 20, 2025 18:10 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Awaiting Review #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 3s
January 20, 2025 18:10 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Withdraw PR #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 3s
January 20, 2025 18:10 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Claim Issue #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 3s
January 20, 2025 18:10 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Propose PR #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 20s
January 20, 2025 18:10 20s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #159: Pull request #1054 synchronize by LorenzoLuccioli
January 20, 2025 17:55 24m 35s pitmonticone:1516-255
pitmonticone:1516-255
January 20, 2025 17:55 24m 35s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #158: Pull request #1054 synchronize by pitmonticone
January 20, 2025 17:11 26m 12s pitmonticone:1516-255
pitmonticone:1516-255
January 20, 2025 17:11 26m 12s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #157: Pull request #1054 opened by pitmonticone
January 20, 2025 16:23 24m 52s pitmonticone:1516-255
pitmonticone:1516-255
January 20, 2025 16:23 24m 52s
description of a clause in a text with "with" Compile blueprint and paper #156: Pull request #1053 opened by madvorak
January 20, 2025 12:15 24m 28s madvorak:main
madvorak:main
January 20, 2025 12:15 24m 28s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Awaiting Review #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 2s
January 19, 2025 20:58 2s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Disclaim Issue #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 3s
January 19, 2025 20:58 3s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Withdraw PR #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 2s
January 19, 2025 20:58 2s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Propose PR #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 2s
January 19, 2025 20:58 2s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Claim Issue #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 12s
January 19, 2025 20:58 12s
chore: bump to v1.16.0-rc2 Compile blueprint and paper #155: Pull request #970 synchronize by pitmonticone
January 18, 2025 23:20 2m 21s pitmonticone/bump_v4.15.0-rc1
pitmonticone/bump_v4.15.0-rc1
January 18, 2025 23:20 2m 21s
chore: bump to v1.16.0-rc2 Compile blueprint and paper #154: Pull request #970 synchronize by pitmonticone
January 18, 2025 23:05 15m 32s pitmonticone/bump_v4.15.0-rc1
pitmonticone/bump_v4.15.0-rc1
January 18, 2025 23:05 15m 32s
Codyroux/boolean ring Disclaim Issue #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Propose PR #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Claim Issue #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Withdraw PR #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Awaiting Review #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Awaiting Review #1281: Issue comment #708 (comment) created by Shreyas4991
January 18, 2025 19:27 2s
January 18, 2025 19:27 2s
Codyroux/boolean ring Claim Issue #1281: Issue comment #708 (comment) created by Shreyas4991
January 18, 2025 19:27 2s
January 18, 2025 19:27 2s