Skip to content

Actions: metamath/set.mm

Actions

verifiers

Actions

Loading...
Loading

Showing runs from all workflows named verifiers
3,295 workflow run results
3,295 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add varcolorcode to typesetting comment (#4922) verifiers #10134: Commit b0c7c3e pushed by tirix
July 2, 2025 19:11 3m 50s develop
develop
July 2, 2025 19:11 3m 50s
proof shortening by a pre-trained language model (#4919) verifiers #10133: Commit 7e71cf4 pushed by tirix
July 2, 2025 18:34 2m 52s develop
develop
July 2, 2025 18:34 2m 52s
misc not(ax-mulcom) theorems (#4921) verifiers #10132: Commit 48c50ae pushed by wlammen
July 2, 2025 13:25 3m 27s develop
develop
July 2, 2025 13:25 3m 27s
Constructible Numbers - first properties verifiers #10131: Pull request #4916 synchronize by tirix
July 2, 2025 08:40 2m 42s tirix:constr
tirix:constr
July 2, 2025 08:40 2m 42s
proof shortening by a pre-trained language model verifiers #10129: Pull request #4919 synchronize by parsifal-chx
July 2, 2025 03:02 3m 38s parsifal-chx:develop
parsifal-chx:develop
July 2, 2025 03:02 3m 38s
proof shortening by a pre-trained language model verifiers #10130: Pull request #4919 reopened by parsifal-chx
July 2, 2025 03:02 2m 59s parsifal-chx:develop
parsifal-chx:develop
July 2, 2025 03:02 2m 59s
Constructible Numbers - first properties verifiers #10128: Pull request #4916 synchronize by tirix
July 1, 2025 21:35 4m 12s tirix:constr
tirix:constr
July 1, 2025 21:35 4m 12s
Add part of reduction Section 5 AKS (#4899) verifiers #10127: Commit e17241e pushed by tirix
July 1, 2025 17:25 10s develop
develop
July 1, 2025 17:25 10s
proof shortening by a pre-trained language model verifiers #10126: Pull request #4919 synchronize by parsifal-chx
July 1, 2025 11:52 Action required parsifal-chx:develop
parsifal-chx:develop
July 1, 2025 11:52 Action required
Add part of reduction Section 5 AKS verifiers #10125: Pull request #4899 synchronize by metakunt
June 30, 2025 19:33 2m 43s metakunt:aks5MUU
metakunt:aks5MUU
June 30, 2025 19:33 2m 43s
proof shortening by a pre-trained language model verifiers #10124: Pull request #4919 reopened by parsifal-chx
June 30, 2025 14:05 3m 57s parsifal-chx:develop
parsifal-chx:develop
June 30, 2025 14:05 3m 57s
proof shortening by a pre-trained language model verifiers #10123: Pull request #4919 synchronize by parsifal-chx
June 30, 2025 14:05 4m 28s parsifal-chx:develop
parsifal-chx:develop
June 30, 2025 14:05 4m 28s
proof shortening by a pre-trained language model verifiers #10122: Pull request #4919 reopened by parsifal-chx
June 30, 2025 13:33 Action required parsifal-chx:develop
parsifal-chx:develop
June 30, 2025 13:33 Action required
Add varcolorcode to typesetting comment verifiers #10121: Pull request #4922 synchronize by marloBruder
June 30, 2025 11:29 4m 11s marloBruder:varcolorcode
marloBruder:varcolorcode
June 30, 2025 11:29 4m 11s
Add varcolorcode to typesetting comment verifiers #10120: Pull request #4922 opened by marloBruder
June 30, 2025 10:53 3m 39s marloBruder:varcolorcode
marloBruder:varcolorcode
June 30, 2025 10:53 3m 39s
misc not(ax-mulcom) theorems verifiers #10119: Pull request #4921 opened by icecream17
June 30, 2025 04:05 4m 8s icecream17:develop
icecream17:develop
June 30, 2025 04:05 4m 8s
A few mathbox theorems verifiers #10118: Pull request #4920 opened by BTernaryTau
June 29, 2025 20:37 3m 0s BTernaryTau:mathbox
BTernaryTau:mathbox
June 29, 2025 20:37 3m 0s
move df-rlreg, df-domn, df-idom up and shorten drng* (#4917) verifiers #10117: Commit 5c5c5a6 pushed by wlammen
June 29, 2025 10:59 3m 29s develop
develop
June 29, 2025 10:59 3m 29s
proof shortening by a pre-trained language model verifiers #10116: Pull request #4919 opened by parsifal-chx
June 29, 2025 07:57 3m 41s parsifal-chx:develop
parsifal-chx:develop
June 29, 2025 07:57 3m 41s
Revise df-gsum comment in set.mm (#4913) verifiers #10115: Commit 9e287ab pushed by jkingdon
June 28, 2025 15:41 2m 44s develop
develop
June 28, 2025 15:41 2m 44s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10114: Pull request #4917 synchronize by icecream17
June 27, 2025 16:12 3m 13s icecream17:develop
icecream17:develop
June 27, 2025 16:12 3m 13s
Constructible Numbers - first properties verifiers #10113: Pull request #4916 synchronize by tirix
June 27, 2025 11:52 2m 48s tirix:constr
tirix:constr
June 27, 2025 11:52 2m 48s
Add part of reduction Section 5 AKS verifiers #10112: Pull request #4899 synchronize by metakunt
June 26, 2025 21:45 3m 29s metakunt:aks5MUU
metakunt:aks5MUU
June 26, 2025 21:45 3m 29s
Add part of reduction Section 5 AKS verifiers #10111: Pull request #4899 synchronize by metakunt
June 26, 2025 16:55 4m 10s metakunt:aks5MUU
metakunt:aks5MUU
June 26, 2025 16:55 4m 10s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10110: Pull request #4917 synchronize by icecream17
June 26, 2025 14:34 4m 15s icecream17:develop
icecream17:develop
June 26, 2025 14:34 4m 15s