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

missing operator (#1061) Compile blueprint and paper #188: Commit dbcc35f pushed by teorth
January 23, 2025 15:09 28m 13s main
main
January 23, 2025 15:09 28m 13s
missing operator Compile blueprint and paper #186: Pull request #1061 opened by madvorak
January 23, 2025 12:17 26m 12s madvorak:main
madvorak:main
January 23, 2025 12:17 26m 12s
chore: golf Definability (#1060) Compile blueprint and paper #185: Commit 3a7670d pushed by pitmonticone
January 23, 2025 01:15 26m 30s main
main
January 23, 2025 01:15 26m 30s
chore: golf Definability Compile blueprint and paper #184: Pull request #1060 opened by pitmonticone
January 23, 2025 01:14 26m 44s pitmonticone/Definability-golf
pitmonticone/Definability-golf
January 23, 2025 01:14 26m 44s
golf a bit Compile blueprint and paper #183: Commit 3066e40 pushed by pitmonticone
January 21, 2025 23:12 26m 4s main
main
January 21, 2025 23:12 26m 4s
chore: golf Subgraph.lean (#1059) Compile blueprint and paper #182: Commit fd746d9 pushed by pitmonticone
January 21, 2025 22:39 26m 10s main
main
January 21, 2025 22:39 26m 10s
chore: golf Subgraph.lean Compile blueprint and paper #181: Pull request #1059 synchronize by pitmonticone
January 21, 2025 22:37 25m 7s pitmonticone/golf-subgraph
pitmonticone/golf-subgraph
January 21, 2025 22:37 25m 7s
chore: golf Subgraph.lean Compile blueprint and paper #180: Pull request #1059 opened by pitmonticone
January 21, 2025 22:35 2m 10s pitmonticone/golf-subgraph
pitmonticone/golf-subgraph
January 21, 2025 22:35 2m 10s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #179: Pull request #1054 synchronize by pitmonticone
January 21, 2025 22:30 24m 30s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 22:30 24m 30s
Codyroux/boolean ring Compile blueprint and paper #178: Pull request #708 synchronize by codyroux
January 21, 2025 21:39 24m 44s codyroux:codyroux/boolean-ring
codyroux:codyroux/boolean-ring
January 21, 2025 21:39 24m 44s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #177: Pull request #1054 synchronize by LorenzoLuccioli
January 21, 2025 17:43 23s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:43 23s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #175: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:31 25m 14s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:31 25m 14s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #174: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:26 5m 37s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:26 5m 37s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #173: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:23 3m 10s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:23 3m 10s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #172: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:21 2m 56s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:21 2m 56s
Namespace derive and satisfies Propose PR #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 3s
January 21, 2025 16:29 3s
Namespace derive and satisfies Withdraw PR #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 3s
January 21, 2025 16:29 3s
Namespace derive and satisfies Claim Issue #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 3s
January 21, 2025 16:29 3s
Namespace derive and satisfies Awaiting Review #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 3s
January 21, 2025 16:29 3s
Namespace derive and satisfies Disclaim Issue #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 4s
January 21, 2025 16:29 4s
remove by exact (#1058) Compile blueprint and paper #171: Commit 73d3c42 pushed by pitmonticone
January 21, 2025 14:45 26m 30s main
main
January 21, 2025 14:45 26m 30s
remove by exact Compile blueprint and paper #170: Pull request #1058 opened by madvorak
January 21, 2025 14:22 24m 41s madvorak:main
madvorak:main
January 21, 2025 14:22 24m 41s
remove redundant space (#1056) Compile blueprint and paper #169: Commit bfcc12a pushed by pitmonticone
January 21, 2025 13:41 27m 40s main
main
January 21, 2025 13:41 27m 40s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #168: Pull request #1054 synchronize by LorenzoLuccioli
January 21, 2025 12:30 2m 19s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 12:30 2m 19s
remove redundant space Compile blueprint and paper #166: Pull request #1056 opened by madvorak
January 21, 2025 08:21 24m 58s madvorak:main
madvorak:main
January 21, 2025 08:21 24m 58s