Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10,873 workflow runs
10,873 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WRITING: Write the directed link prediction sub-section of the ML section Claim Issue #1157: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 21:48 1m 1s
November 23, 2024 21:48 1m 1s
WRITING: Write the directed link prediction sub-section of the ML section Propose PR #1157: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 21:48 2s
November 23, 2024 21:48 2s
WRITING: Write the directed link prediction sub-section of the ML section Awaiting Review #1157: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 21:48 2s
November 23, 2024 21:48 2s
WRITING: Write the directed link prediction sub-section of the ML section Withdraw PR #1157: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 21:48 2s
November 23, 2024 21:48 2s
Add construction from Zulip and prove it satisfies 1447 (#892) Compile blueprint #2107: Commit 88e0e11 pushed by teorth
November 23, 2024 21:44 23m 45s main
main
November 23, 2024 21:44 23m 45s
Add construction from Zulip and prove it satisfies 1447 Compile blueprint #2106: Pull request #892 synchronize by goens
November 23, 2024 21:07 22m 4s goens:1447
goens:1447
November 23, 2024 21:07 22m 4s
TREE: Refute 1447 -> 1429, 4269 Awaiting Review #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 2s
November 23, 2024 21:04 2s
TREE: Refute 1447 -> 1429, 4269 Claim Issue #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 2s
November 23, 2024 21:04 2s
TREE: Refute 1447 -> 1429, 4269 Propose PR #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 18s
November 23, 2024 21:04 18s
TREE: Refute 1447 -> 1429, 4269 Disclaim Issue #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 1s
November 23, 2024 21:04 1s
TREE: Refute 1447 -> 1429, 4269 Withdraw PR #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 1s
November 23, 2024 21:04 1s
Add construction from Zulip and prove it satisfies 1447 Compile blueprint #2105: Pull request #892 synchronize by goens
November 23, 2024 21:00 7m 15s goens:1447
goens:1447
November 23, 2024 21:00 7m 15s
[CONTRIBUTIONS]: Pietro Monticone Propose PR #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
[CONTRIBUTIONS]: Pietro Monticone Disclaim Issue #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
[CONTRIBUTIONS]: Pietro Monticone Awaiting Review #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
[CONTRIBUTIONS]: Pietro Monticone Withdraw PR #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
[CONTRIBUTIONS]: Pietro Monticone Claim Issue #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
Add construction from Zulip and prove it satisfies 1447 Compile blueprint #2104: Pull request #892 opened by goens
November 23, 2024 14:57 21m 39s goens:1447
goens:1447
November 23, 2024 14:57 21m 39s
TREE: Refute 1447 -> 1429, 4269 Disclaim Issue #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 3s
November 23, 2024 07:16 3s
TREE: Refute 1447 -> 1429, 4269 Awaiting Review #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 3s
November 23, 2024 07:16 3s
TREE: Refute 1447 -> 1429, 4269 Propose PR #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 2s
November 23, 2024 07:16 2s
TREE: Refute 1447 -> 1429, 4269 Claim Issue #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 1m 2s
November 23, 2024 07:16 1m 2s
TREE: Refute 1447 -> 1429, 4269 Withdraw PR #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 3s
November 23, 2024 07:16 3s
New finite refutation for 1112->1629 (#887) Compile blueprint #2103: Commit ca196b9 pushed by teorth
November 22, 2024 23:49 22m 34s main
main
November 22, 2024 23:49 22m 34s
New finite refutation for 1112->1629 Compile blueprint #2102: Pull request #887 opened by vlad902
November 22, 2024 22:42 22m 1s vlad902:refute-1112-1629
vlad902:refute-1112-1629
November 22, 2024 22:42 22m 1s