Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactoring fresh generators (#871) Compile blueprint #2129: Commit 1174228 pushed by teorth
November 24, 2024 16:21 In progress main
main
November 24, 2024 16:21 In progress
Refute 3308 => 3456 Compile blueprint #2128: Pull request #906 synchronize by teorth
November 24, 2024 16:06 22m 20s b-reinke:refute_3308
b-reinke:refute_3308
November 24, 2024 16:06 22m 20s
1447 cleanup Compile blueprint #2127: Pull request #905 synchronize by teorth
November 24, 2024 16:05 22m 40s goens:1447-cleanup
goens:1447-cleanup
November 24, 2024 16:05 22m 40s
fix blueprint, more counterexample text (#907) Compile blueprint #2126: Commit 22cacca pushed by teorth
November 24, 2024 16:05 16m 40s main
main
November 24, 2024 16:05 16m 40s
fix blueprint, more counterexample text Compile blueprint #2125: Pull request #907 opened by teorth
November 24, 2024 16:05 22m 9s more-counterexamples
more-counterexamples
November 24, 2024 16:05 22m 9s
Refute 3308 => 3456 Compile blueprint #2124: Pull request #906 synchronize by b-reinke
November 24, 2024 13:38 15m 16s b-reinke:refute_3308
b-reinke:refute_3308
November 24, 2024 13:38 15m 16s
Refute 3308 => 3456 Compile blueprint #2123: Pull request #906 synchronize by b-reinke
November 24, 2024 13:36 1m 45s b-reinke:refute_3308
b-reinke:refute_3308
November 24, 2024 13:36 1m 45s
GREEDY: Refute 3308 -> 3456 Disclaim Issue #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 2s
November 24, 2024 13:33 2s
GREEDY: Refute 3308 -> 3456 Claim Issue #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 2s
November 24, 2024 13:33 2s
GREEDY: Refute 3308 -> 3456 Withdraw PR #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 2s
November 24, 2024 13:33 2s
GREEDY: Refute 3308 -> 3456 Propose PR #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 12s
November 24, 2024 13:33 12s
GREEDY: Refute 3308 -> 3456 Awaiting Review #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 1s
November 24, 2024 13:33 1s
Refute 3308 => 3456 Compile blueprint #2122: Pull request #906 synchronize by b-reinke
November 24, 2024 13:32 3m 41s b-reinke:refute_3308
b-reinke:refute_3308
November 24, 2024 13:32 3m 41s
1447 cleanup Compile blueprint #2121: Pull request #905 opened by goens
November 24, 2024 09:23 14m 14s goens:1447-cleanup
goens:1447-cleanup
November 24, 2024 09:23 14m 14s
more constructions (#904) Compile blueprint #2120: Commit e09dc89 pushed by teorth
November 24, 2024 07:21 14m 24s main
main
November 24, 2024 07:21 14m 24s
more constructions Compile blueprint #2119: Pull request #904 opened by teorth
November 24, 2024 07:21 15m 32s constructions
constructions
November 24, 2024 07:21 15m 32s
refactoring fresh generators Disclaim Issue #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
refactoring fresh generators Claim Issue #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
refactoring fresh generators Withdraw PR #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
refactoring fresh generators Awaiting Review #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
refactoring fresh generators Propose PR #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
fix latex (#903) Compile blueprint #2118: Commit 46e2883 pushed by teorth
November 23, 2024 23:42 23m 37s main
main
November 23, 2024 23:42 23m 37s
fix latex Compile blueprint #2117: Pull request #903 opened by teorth
November 23, 2024 23:42 21m 41s fix-latex
fix-latex
November 23, 2024 23:42 21m 41s
WRITING: Organize the greedy arguments in Section 7.4 of the blueprint Claim Issue #1160: Issue comment #902 (comment) created by mjtb49
November 23, 2024 23:42 15s
November 23, 2024 23:42 15s
WRITING: Organize the greedy arguments in Section 7.4 of the blueprint Awaiting Review #1160: Issue comment #902 (comment) created by mjtb49
November 23, 2024 23:42 2s
November 23, 2024 23:42 2s