8000 Workflow runs · metamath/set.mm · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,313 workflow runs
3,313 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nfceqi without ax-ext, df-clel verifiers #10062: Pull request #4908 synchronize by wlammen
June 21, 2025 08:38 3m 54s wlammen:wl-3
wlammen:wl-3
June 21, 2025 08:38 3m 54s
nfceqi without ax-ext, df-clel verifiers #10061: Pull request #4908 opened by wlammen
June 21, 2025 08:35 4m 18s wlammen:wl-3
10000 wlammen:wl-3
June 21, 2025 08:35 4m 18s
intuitionize a bit more of mPwSer verifiers #10060: Pull request #4907 opened by jkingdon
June 21, 2025 00:44 3m 34s jkingdon:psrplusg
jkingdon:psrplusg
June 21, 2025 00:44 3m 34s
Chains verifiers #10059: Pull request #4903 synchronize by tirix
June 20, 2025 22:15 3m 6s tirix:constr2
tirix:constr2
June 20, 2025 22:15 3m 6s
Revise ru to avoid ax-10, ax-11, and ax-12 verifiers #10058: Pull request #4906 synchronize by BTernaryTau
June 20, 2025 19:42 3m 42s BTernaryTau:ru
BTernaryTau:ru
June 20, 2025 19:42 3m 42s
Revise ru to avoid ax-10, ax-11, and ax-12 verifiers #10057: Pull request #4906 opened by BTernaryTau
June 20, 2025 19:40 2m 40s BTernaryTau:ru
BTernaryTau:ru
June 20, 2025 19:40 2m 40s
shorten vtocl verifiers #10056: Pull request #4905 synchronize by wlammen
June 20, 2025 16:03 4m 54s wlammen:wl-2
wlammen:wl-2
June 20, 2025 16:03 4m 54s
shorten vtocl verifiers #10055: Pull request #4905 opened by wlammen
June 20, 2025 15:59 4m 12s wlammen:wl-2
wlammen:wl-2
June 20, 2025 15:59 4m 12s
Chains verifiers #10054: Pull request #4903 synchronize by tirix
June 20, 2025 09:43 3m 31s tirix:constr2
tirix:constr2
June 20, 2025 09:43 3m 31s
Chains verifiers #10053: Pull request #4903 synchronize by tirix
June 19, 2025 23:49 4m 20s tirix:constr2
tirix:constr2
June 19, 2025 23:49 4m 20s
Chains verifiers #10052: Pull request #4903 synchronize by tirix
June 19, 2025 23:37 4m 24s tirix:constr2
tirix:constr2
June 19, 2025 23:37 4m 24s
Chains verifiers #10051: Pull request #4903 synchronize by tirix
June 19, 2025 23:28 2m 43s tirix:constr2
tirix:constr2
June 19, 2025 23:28 2m 43s
Chains verifiers #10050: Pull request #4903 opened by tirix
June 19, 2025 23:17 3m 25s tirix:constr2
tirix:constr2
June 19, 2025 23:17 3m 25s
Doubling the cube : minimal polynomial. verifiers #10049: Pull request #4894 synchronize by tirix
June 19, 2025 16:32 3m 37s tirix:constr
tirix:constr
June 19, 2025 16:32 3m 37s
Revise the definition of UFD (#4893) verifiers #10048: Commit 4c924a9 pushed by tirix
June 19, 2025 08:43 3m 37s develop
develop
June 19, 2025 08:43 3m 37s
Doubling the cube : minimal polynomial. verifiers #10047: Pull request #4894 synchronize by tirix
June 19, 2025 08:23 3m 30s tirix:constr
tirix:constr
June 19, 2025 08:23 3m 30s
add psrelbas to iset.mm (#4898) verifiers #10046: Commit 8a63ffc pushed by jkingdon
June 18, 2025 23:20 10s develop
develop
June 18, 2025 23:20 10s
Reduce axiom usage verifiers #10045: Pull request #4901 opened by BTernaryTau
June 18, 2025 20:57 2m 54s BTernaryTau:prfi
BTernaryTau:prfi
June 18, 2025 20:57 2m 54s
Rename syld to imtrd (iset.mm) verifiers #10044: Pull request #4900 opened by jkingdon
June 18, 2025 00:03 2m 35s jkingdon:imtrd-1
jkingdon:imtrd-1
June 18, 2025 00:03 2m 35s
local isomorphisms of graphs verifiers #10043: Pull request #4895 synchronize by avekens
June 17, 2025 18:53 2m 44s avekens:av-gt-5
avekens:av-gt-5
June 17, 2025 18:53 2m 44s
local isomorphisms of graphs verifiers #10042: Pull request #4895 synchronize by avekens
June 17, 2025 15:09 3m 4s avekens:av-gt-5
avekens:av-gt-5
June 17, 2025 15:09 3m 4s
Add part of reduction Section 5 AKS verifiers #10041: Pull request #4899 synchronize by metakunt
June 17, 2025 14:37 3m 29s metakunt:aks5MUU
metakunt:aks5MUU
June 17, 2025 14:37 3m 29s
Add part of reduction Section 5 AKS verifiers #10040: Pull request #4899 synchronize by metakunt
June 17, 2025 14:34 4m 33s metakunt:aks5MUU
metakunt:aks5MUU
June 17, 2025 14:34 4m 33s
Add part of reduction Section 5 AKS verifiers #10039: Pull request #4899 synchronize by metakunt
June 17, 2025 14:33 4m 34s metakunt:aks5MUU
metakunt:aks5MUU
June 17, 2025 14:33 4m 34s
Add part of reduction Section 5 AKS verifiers #10038: Pull request #4899 synchronize by metakunt
June 17, 2025 14:32 3m 17s metakunt:aks5MUU
metakunt:aks5MUU
June 17, 2025 14:32 3m 17s
0