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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add part of reduction Section 5 AKS verifiers #10037: Pull request #4899 opened by metakunt
June 17, 2025 14:30 2m 58s metakunt:aks5MUU
metakunt:aks5MUU
June 17, 2025 14:30 2m 58s
local isomorphisms of graphs verifiers #10036: Pull request #4895 synchronize by avekens
June 17, 2025 04:20 4m 36s avekens:av-gt-5
avekens:av-gt-5
June 17, 2025 04:20 4m 36s
add psrelbas to iset.mm verifiers #10035: Pull request #4898 opened by jkingdon
June 17, 2025 00:36 2m 51s jkingdon:elfvm
jkingdon:elfvm
June 17, 2025 00:36 2m 51s
Revise the definition of UFD verifiers #10034: Pull request #4893 synchronize by tirix
June 16, 2025 14:04 3m 37s tirix:df-ufd
tirix:df-ufd
June 16, 2025 14:04 3m 37s
Consistent abbreviation (#4892) verifiers #10033: Commit 99f7751 pushed by tirix
June 14, 2025 23:44 7s develop
develop
June 14, 2025 23:44 7s
local isomorphisms of graphs verifiers #10032: Pull request #4895 synchronize by avekens
June 14, 2025 18:33 3m 4s avekens:av-gt-5
avekens:av-gt-5
June 14, 2025 18:33 3m 4s
Consistent abbreviation verifiers #10031: Pull request #4892 synchronize by GinoGiotto
June 14, 2025 14:30 4m 11s GinoGiotto:ab
GinoGiotto:ab
June 14, 2025 14:30 4m 11s
Doubling the cube : minimal polynomial. verifiers #10030: Pull request #4894 synchronize by tirix
June 14, 2025 14:29 4m 4s tirix:constr
tirix:constr
June 14, 2025 14:29 4m 4s
Doubling the cube : minimal polynomial. verifiers #10029: Pull request #4894 opened by tirix
June 14, 2025 14:19 5m 6s tirix:constr
tirix:constr
June 14, 2025 14:19 5m 6s
Revise the definition of UFD verifiers #10028: Pull request #4893 synchronize by tirix
June 14, 2025 13:19 4m 29s tirix:df-ufd
tirix:df-ufd
June 14, 2025 13:19 4m 29s
Revise the definition of UFD verifiers #10027: Pull request #4893 opened by tirix
June 14, 2025 13:16 4m 23s tirix:df-ufd
tirix:df-ufd
June 14, 2025 13:16 4m 23s
Consistent abbreviation verifiers #10026: Pull request #4892 opened by GinoGiotto
June 14, 2025 13:06 4m 5s GinoGiotto:ab
GinoGiotto:ab
June 14, 2025 13:06 4m 5s
Minimize with 4syl, final (#4891) verifiers #10025: Commit d84eca4 pushed by wlammen
June 14, 2025 03:46 2m 46s develop
develop
June 14, 2025 03:46 2m 46s
Add mPwSer to iset.mm (#4890) verifiers #10024: Commit f119b9c pushed by jkingdon
June 14, 2025 02:55 3m 31s develop
develop
June 14, 2025 02:55 3m 31s
Minimize with 4syl, final verifiers #10023: Pull request #4891 synchronize by GinoGiotto
June 13, 2025 18:14 4m 31s GinoGiotto:4syl_45
GinoGiotto:4syl_45
June 13, 2025 18:14 4m 31s
Minimize with 4syl, final verifiers #10022: Pull request #4891 synchronize by GinoGiotto
June 13, 2025 18:12 3m 47s GinoGiotto:4syl_45
GinoGiotto:4syl_45
June 13, 2025 18:12 3m 47s
minimize with 4syl (#4889) verifiers #10021: Commit dce1f78 pushed by wlammen
June 13, 2025 17:38 4m 20s develop
develop
June 13, 2025 17:38 4m 20s
Minimize with 4syl, final verifiers #10020: Pull request #4891 opened by GinoGiotto
June 12, 2025 17:19 3m 38s GinoGiotto:4syl_45
GinoGiotto:4syl_45
June 12, 2025 17:19 3m 38s
Add a few notes on Wilson's theorem to iset.mm (#4887) verifiers #10019: Commit 6396584 pushed by jkingdon
June 12, 2025 04:47 3m 6s develop
develop
June 12, 2025 04:47 3m 6s
Add mPwSer to iset.mm verifiers #10018: Pull request #4890 opened by jkingdon
June 12, 2025 04:41 3m 0s jkingdon:psr
jkingdon:psr
June 12, 2025 04:41 3m 0s
< A202 div >
Minimize with 4syl, part 3 verifiers #10017: Pull request #4889 opened by GinoGiotto
June 11, 2025 10:04 3m 31s GinoGiotto:4syl_40
GinoGiotto:4syl_40
June 11, 2025 10:04 3m 31s
minimize with 4syl (#4888) verifiers #10016: Commit b16ac92 pushed by wlammen
June 11, 2025 06:24 10s develop
develop
June 11, 2025 06:24 10s
Minimize with 4syl, part 2 verifiers #10015: Pull request #4888 opened by GinoGiotto
June 10, 2025 10:57 2m 51s GinoGiotto:4syl_30
GinoGiotto:4syl_30
June 10, 2025 10:57 2m 51s
Add a few notes on Wilson's theorem to iset.mm verifiers #10014: Pull request #4887 synchronize by jkingdon
June 10, 2025 04:09 4m 13s jkingdon:wilthlem1
jkingdon:wilthlem1
June 10, 2025 04:09 4m 13s
If a cubic polynomial over a field has no roots, it is irreducible (#… verifiers #10013: Commit 2e78d22 pushed by wlammen
June 10, 2025 04:06 2m 43s develop
develop
June 10, 2025 04:06 2m 43s
0