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,311 workflow runs
3,311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Constructible Numbers - first properties verifiers #10109: Pull request #4916 synchronize by tirix
June 26, 2025 11:48 4m 44s tirix:constr
tirix:constr
June 26, 2025 11:48 4m 44s
Reduce ax-pow usage (#4915) verifiers #10108: Commit 9c1932b pushed by wlammen
June 26, 2025 07:11 6m 12s develop
develop
June 26, 2025 07:11 6m 12s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10107: Pull request #4917 synchronize by icecream17
June 26, 2025 01:44 2m 54s icecream17:develop
icecream17:develop
June 26, 2025 01:44 2m 54s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10106: Pull request #4917 synchronize by icecream17
June 26, 2025 01:33 3m 45s icecream17:develop
icecream17:develop
June 26, 2025 01:33 3m 45s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10105: Pull request #4917 synchronize by icecream17
June 26, 2025 01:27 4m 2s icecream17:develop
icecream17:develop
June 26, 2025 01:27 4m 2s
move df-rlreg, df-domn, df-idom up and shorten drng* verifiers #10104: Pull request #4917 opened by icecream17
June 26, 2025 01:11 3m 59s icecream17:develop
icecream17:develop
June 26, 2025 01:11 3m 59s
Constructible Numbers - first properties verifiers #10103: Pull request #4916 synchronize by tirix
June 25, 2025 23:00 3m 44s tirix:constr
tirix:constr
June 25, 2025 23:00 3m 44s
Constructible Numbers - first properties verifiers #10102: Pull request #4916 synchronize by tirix
June 25, 2025 22:50 2m 57s tirix:constr
tirix:constr
June 25, 2025 22:50 2m 57s
Constructible Numbers - first properties verifiers #10101: Pull request #4916 synchronize by tirix
June 25, 2025 22:48 2m 41s tirix:constr
tirix:constr
June 25, 2025 22:48 2m 41s
Constructible Numbers - first properties verifiers #10100: Pull request #4916 opened by tirix
June 25, 2025 22:46 3m 29s tirix:constr
tirix:constr
June 25, 2025 22:46 3m 29s
Quadratic Field Extensions (#4911) verifiers #10099: Commit 155fcc0 pushed by tirix
June 25, 2025 22:20 2m 40s develop
develop
June 25, 2025 22:20 2m 40s
Revise df-gsum comment in set.mm verifiers #10098: Pull request #4913 synchronize by jkingdon
June 25, 2025 15:36 4m 4s jkingdon:gsum-comment
jkingdon:gsum-comment
June 25, 2025 15:36 4m 4s
Add part of reduction Section 5 AKS verifiers #10097: Pull request #4899 synchronize by metakunt
June 25, 2025 15:36 3m 15s metakunt:aks5MUU
metakunt:aks5MUU
June 25, 2025 15:36 3m 15s
Reduce ax-pow usage verifiers #10096: Pull request #4915 opened by BTernaryTau
June 25, 2025 04:45 3m 24s BTernaryTau:fodomfi
BTernaryTau:fodomfi
June 25, 2025 04:45 3m 24s
Revise df-gsum comment in set.mm verifiers #10095: Pull request #4913 opened by jkingdon
June 25, 2025 00:06 4m 34s jkingdon:gsum-comment
jkingdon:gsum-comment
June 25, 2025 00:06 4m 34s
Chains (#4903) verifiers #10094: Commit 1f166a2 pushed by tirix
June 24, 2025 22:34 3m 41s develop
develop
June 24, 2025 22:34 3m 41s
Add part of reduction Section 5 AKS verifiers #10093: Pull request #4899 synchronize by metakunt
June 24, 2025 20:15 2m 51s metakunt:aks5MUU
metakunt:aks5MUU
June 24, 2025 20:15 2m 51s
complete $j tag of ceqsexv (#4912) verifiers #10092: Commit 2b8fc40 pushed by wlammen
June 24, 2025 02:23 4m 46s develop
develop
June 24, 2025 02:23 4m 46s
initial df-plfl work (#4910) verifiers #10091: Commit 9733441 pushed by wlammen
June 24, 2025 02:22 4m 20s develop
develop
June 24, 2025 02:22 4m 20s
Revise ru (#4906) verifiers #10090: Commit ad02aca pushed by wlammen
June 24, 2025 02:22 3m 35s develop
develop
June 24, 2025 02:22 3m 35s
Quadratic Field Extensions verifiers #10089: Pull request #4911 synchronize by tirix
June 23, 2025 11:34 2m 50s tirix:constr
tirix:constr
June 23, 2025 11:34 2m 50s
local isomorphisms of graphs (#4895) verifiers #10088: Commit b04487b pushed by avekens
June 23, 2025 11:14 2m 43s develop
develop
June 23, 2025 11:14 2m 43s
ceqsexv does not use df-clab verifiers #10087: Pull request #4912 opened by wlammen
June 23, 2025 09:43 3m 39s wlammen:wl-2
wlammen:wl-2
June 23, 2025 09:43 3m 39s
Quadratic Field Extensions verifiers #10086: Pull request #4911 synchronize by tirix
June 23, 2025 06:08 3m 40s tirix:constr
tirix:constr
June 23, 2025 06:08 3m 40s
0