Workflow runs · sinhp/Poly

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

35 workflow runs

feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234

3m 30s master

master

3m 30s

feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234

4m 54s master

master

4m 54s

Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas

2m 21s dagurtomas:bump-v4.31.0-rc1

dagurtomas:bump-v4.31.0-rc1

2m 21s

feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234

3m 20s Vtec234:bump/v4.28.0-rc1

Vtec234:bump/v4.28.0-rc1

3m 20s

doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp

22m 3s master

master

22m 3s

doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp

2m 36s master

master

2m 36s

bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp

2m 25s master

master

2m 25s

bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp

3m 51s master

master

3m 51s

feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234

2m 33s master

master

2m 33s

feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234

20m 46s master

master

20m 46s

feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234

2m 42s bump/v4.25.0-rc2

bump/v4.25.0-rc2

2m 42s

Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp

18m 12s master

master

18m 12s

Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp

2m 4s master

master

2m 4s

feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0

1m 57s dubuc

dubuc

1m 57s

chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0

18m 32s master

master

18m 32s

chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0

2m 4s master

master

2m 4s

chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0

1m 53s bump_4_23_0_rc2

bump_4_23_0_rc2

1m 53s

fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234

2m 24s master

master

2m 24s

fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234

13m 37s master

master

13m 37s

fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0

2m 13s partialProd_sorry

partialProd_sorry

2m 13s

fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0

1m 39s partialProd_sorry

partialProd_sorry

1m 39s

Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234

2m 10s master

master

2m 10s

Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234

15m 0s master

master

15m 0s

Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234

2m 1s cartesian-nt

cartesian-nt

2m 1s

chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234

13m 3s master

master

13m 3s

blocks\n(function() {\n function addCopyButtons() {\n document.querySelectorAll('pre code').forEach(function(codeBlock) {\n if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;\n codeBlock.parentElement.setAttribute('data-copy-added', 'true');\n \n var btn = document.createElement('button');\n btn.textContent = 'Copy';\n btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';\n btn.onmouseover = function() { this.style.opacity = '1'; };\n btn.onmouseout = function() { this.style.opacity = '0.7'; };\n btn.onclick = function() {\n navigator.clipboard.writeText(codeBlock.textContent).then(function() {\n btn.textContent = 'Copied!';\n setTimeout(function() { btn.textContent = 'Copy'; }, 1500);\n });\n };\n codeBlock.parentElement.style.position = 'relative';\n codeBlock.parentElement.appendChild(btn);\n });\n }\n \n addCopyButtons();\n \n // Re-run on dynamic content\n var observer = new MutationObserver(addCopyButtons);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Add Copy Buttons to Code Blocks"); } } catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); } })(); (function(){ try { var __m = "github.com"; var __re = new RegExp('^' + "github\\.com" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Force GitHub README to respect dark mode\n(function() {\n var style = document.createElement('style');\n style.textContent = '\n .markdown-body {\n color-scheme: dark light;\n }\n .markdown-body pre { background: #161b22 !important; }\n .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }\n .markdown-body table th, .markdown-body table td { border-color: #30363d !important; }\n .markdown-body img { background: #0d1117; }\n .markdown-body blockquote { border-left-color: #8b949e; }\n .markdown-body hr { border-color: #30363d; }\n ';\n document.head.appendChild(style);\n})();", "GitHub Dark Mode README Fix"); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Highlight search terms from Google/DuckDuckGo/Bing referrer\n(function() {\n var ref = document.referrer;\n var terms = [];\n \n if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {\n var url = new URL(ref);\n var q = url.searchParams.get('q') || url.searchParams.get('p');\n if (q) {\n terms = q.split(/\\s+/).filter(function(t) { return t.length > 2; });\n }\n }\n \n if (terms.length === 0) return;\n \n var style = document.createElement('style');\n style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';\n document.head.appendChild(style);\n \n function highlight(node) {\n if (node.nodeType === 3) { // text node\n var text = node.textContent;\n var found = false;\n terms.forEach(function(term) {\n var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\') + ')', 'gi');\n if (regex.test(text)) {\n found = true;\n var frag = document.createDocumentFragment();\n var parts = text.split(regex);\n parts.forEach(function(part, i) {\n if (i % 2 === 0) {\n frag.appendChild(document.createTextNode(part));\n } else {\n var span = document.createElement('span');\n span.className = 'userscript-highlight';\n span.textContent = part;\n frag.appendChild(span);\n }\n });\n node.parentNode.replaceChild(frag, node);\n }\n });\n } else if (node.nodeType === 1 && node.childNodes) { // element\n var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];\n if (!skipTags.includes(node.tagName)) {\n Array.from(node.childNodes).forEach(highlight);\n }\n }\n }\n \n highlight(document.body);\n \n // Re-highlight on dynamic content\n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1 || node.nodeType === 3) highlight(node);\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Highlight Search Terms"); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Strip utm_, fbclid, gclid, etc. from all links on page\n(function() {\n var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',\n 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',\n 'ref', 'ref_src', 'source', 'medium', 'campaign'];\n \n function cleanUrl(url) {\n try {\n var u = new URL(url, window.location.origin);\n var changed = false;\n trackingParams.forEach(function(p) {\n if (u.searchParams.has(p)) {\n u.searchParams.delete(p);\n changed = true;\n }\n });\n return changed ? u.toString() : url;\n } catch (e) {\n return url;\n }\n }\n \n function cleanLinks() {\n document.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n \n cleanLinks();\n \n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1) {\n if (node.tagName === 'A') cleanLinks();\n node.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Remove Tracking Parameters from Links"); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Auto-enable theater mode on YouTube\n(function() {\n function tryTheater() {\n var btn = document.querySelector('button[aria-label=\"Theater mode\"], ytd-player #player button[title=\"Theater mode\"]');\n if (btn && !btn.classList.contains('activated')) {\n btn.click();\n }\n }\n \n // Try immediately\n tryTheater();\n \n // Try after navigation (SPA)\n var lastUrl = location.href;\n setInterval(function() {\n if (location.href !== lastUrl) {\n lastUrl = location.href;\n setTimeout(tryTheater, 500);\n }\n }, 1000);\n \n // Also try on player load\n var observer = new MutationObserver(tryTheater);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "YouTube Theater Mode Default"); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Remove or un-stick sticky/fixed headers that block content\n(function() {\n function unstick() {\n document.querySelectorAll('header, nav, [role=\"banner\"], .header, .navbar, .sticky, .fixed-top, [style*=\"position: fixed\"], [style*=\"position:sticky\"]').forEach(function(el) {\n if (el.style.position === 'fixed' || el.style.position === 'sticky' || \n getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {\n el.style.position = 'static';\n el.style.top = 'auto';\n el.style.zIndex = 'auto';\n }\n });\n }\n \n unstick();\n \n var observer = new MutationObserver(unstick);\n observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });\n})();", "Kill Sticky Headers"); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time. , 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Universal Dark Mode - works on any site\n(function() {\n var enabled = true;\n \n function applyDarkMode() {\n if (!enabled) return;\n \n // Create style element if it doesn't exist\n var style = document.getElementById('universal-dark-mode-style');\n if (!style) {\n style = document.createElement('style');\n style.id = 'universal-dark-mode-style';\n document.head.appendChild(style);\n }\n \n // Dark mode CSS - inverts colors but preserves images/video\n style.textContent = '\n /* Invert everything except media */\n html {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #1a1a2e !important;\n }\n \n /* Restore images, videos, iframes, canvas */\n img, video, iframe, canvas, svg, picture, [style*=\"background-image\"] {\n filter: invert(1) hue-rotate(180deg) !important;\n }\n \n /* Preserve specific elements that should not be inverted */\n .no-dark-mode, .no-dark-mode *,\n [data-theme=\"light\"], [data-theme=\"light\"],\n .ace_editor, .ace_editor *,\n .CodeMirror, .CodeMirror *,\n .monaco-editor, .monaco-editor *,\n .markdown-body pre, .markdown-body pre *,\n .highlight, .highlight *,\n pre code, pre code * {\n filter: none !important;\n }\n \n /* Fix common UI elements */\n .modal, .popup, .dropdown-menu, .tooltip, .popover {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #2d2d44 !important;\n border-color: #444 !important;\n }\n \n /* Scrollbars */\n ::-webkit-scrollbar { background: #1a1a2e !important; }\n ::-webkit-scrollbar-thumb { background: #444 !important; }\n ::-webkit-scrollbar-thumb:hover { background: #555 !important; }\n \n /* Selection */\n ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ';\n }\n \n function removeDarkMode() {\n var style = document.getElementById('universal-dark-mode-style');\n if (style) style.remove();\n }\n \n // Toggle with Alt+Shift+D\n document.addEventListener('keydown', function(e) {\n if (e.altKey && e.shiftKey && e.key === 'D') {\n e.preventDefault();\n enabled = !enabled;\n if (enabled) {\n applyDarkMode();\n console.log('[Universal Dark Mode] Enabled');\n } else {\n removeDarkMode();\n console.log('[Universal Dark Mode] Disabled');\n }\n }\n });\n \n // Apply on load\n applyDarkMode();\n \n // Re-apply on dynamic content\n var observer = new MutationObserver(function(mutations) {\n if (enabled && !document.getElementById('universal-dark-mode-style')) {\n applyDarkMode();\n }\n });\n observer.observe(document.head, { childList: true });\n \n console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');\n})();", "Universal Dark Mode"); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })(); Skip to contentNavigation Menu Sign inAppearance settings AI CODE CREATIONGitHub CopilotWrite better code with AI GitHub Copilot appDirect agents from issue to merge MCP RegistryIntegrate external tools DEVELOPER WORKFLOWSActionsAutomate any workflow CodespacesInstant dev environments IssuesPlan and track work Code ReviewManage code changes Code QualityEnforce quality at merge APPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilities Code securitySecure your code as you build Secret protectionStop leaks before they start EXPLOREWhy GitHub Documentation Blog Changelog Marketplace View all features BY COMPANY SIZEEnterprises Small and medium teams Startups Nonprofits BY USE CASEApp Modernization DevSecOps DevOps CI/CD View all use cases BY INDUSTRYHealthcare Financial services Manufacturing Government View all industries View all solutions EXPLORE BY TOPICAI Software Development DevOps Security View all topics EXPLORE BY TYPECustomer stories Events & webinars Ebooks & reports Business insights GitHub Skills SUPPORT & SERVICESDocumentation Customer support Community forum Trust center Partners View all resources COMMUNITYGitHub SponsorsFund open source developers PROGRAMSSecurity Lab Maintainer Community GitHub Stars Archive Program REPOSITORIESTopics Trending Collections ENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platform AVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security features Copilot for BusinessEnterprise-grade AI features Premium SupportEnterprise-grade 24/7 support Pricing Sign in Sign upAppearance settings You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert sinhp /PolyPublic Notifications You must be signed in to change notification settings Fork 10 Star 29 Code Issues1 Pull requests3 Actions Projects Security and quality0 Insights Additional navigation options Code Issues Pull requests Actions Projects Security and quality Insights Actions: sinhp/Poly Actions All workflows Workflows .github/workflows/push.yml .github/workflows/push.yml .github/workflows/push_pr.yml .github/workflows/push_pr.yml Compile blueprint Compile blueprint Management Caches Deployments All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page. will be ignored since log searching is not yet available Showing runs from all workflows will be ignored since log searching is not yet available 35 workflow runs 35 workflow runs Filter by Workflow Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching workflows. ⌥ + click/return to exclude Filter by Event Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching events. ⌥ + click/return to exclude Filter by Status Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching statuses. ⌥ + click/return to exclude Filter by Branch Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching branches. ⌥ + click/return to exclude Filter by Actor Sorry, something went wrong. Filter Loading Sorry, something went wrong. No matching users. ⌥ + click/return to exclude feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234 3m 30s master master 3m 30s View workflow file feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234 4m 54s master master 4m 54s View workflow file Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas 2m 21s dagurtomas:bump-v4.31.0-rc1 dagurtomas:bump-v4.31.0-rc1 2m 21s View #37 View workflow file feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234 3m 20s Vtec234:bump/v4.28.0-rc1 Vtec234:bump/v4.28.0-rc1 3m 20s View #36 View workflow file doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp 22m 3s master master 22m 3s View workflow file doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp 2m 36s master master 2m 36s View workflow file bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp 2m 25s master master 2m 25s View workflow file bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp 3m 51s master master 3m 51s View workflow file feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234 2m 33s master master 2m 33s View workflow file feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234 20m 46s master master 20m 46s View workflow file feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234 2m 42s bump/v4.25.0-rc2 bump/v4.25.0-rc2 2m 42s View #35 View workflow file Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp 18m 12s master master 18m 12s View workflow file Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp 2m 4s master master 2m 4s View workflow file feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0 1m 57s dubuc dubuc 1m 57s View #34 View workflow file chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0 18m 32s master master 18m 32s View workflow file chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0 2m 4s master master 2m 4s View workflow file chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0 1m 53s bump_4_23_0_rc2 bump_4_23_0_rc2 1m 53s View #33 View workflow file fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234 2m 24s master master 2m 24s View workflow file fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234 13m 37s master master 13m 37s View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0 2m 13s partialProd_sorry partialProd_sorry 2m 13s View #32 View workflow file fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0 1m 39s partialProd_sorry partialProd_sorry 1m 39s View #32 View workflow file Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234 2m 10s master master 2m 10s View workflow file Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234 15m 0s master master 15m 0s View workflow file Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234 2m 1s cartesian-nt cartesian-nt 2m 1s View #31 View workflow file chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234 13m 3s master master 13m 3s View workflow file Previous12Next You can’t perform that action at this time.

Actions: sinhp/Poly

Actions

All workflows All workflowsActionsLoading...LoadingSorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

Actions: sinhp/Poly

Actions

All workflows All workflowsActionsLoading...LoadingSorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

Actions: sinhp/Poly

Actions

All workflows All workflowsActionsLoading...LoadingSorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

Actions: sinhp/Poly

Actions

All workflows All workflowsActionsLoading...LoadingSorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

Actions: sinhp/Poly

Actions

All workflows All workflowsActionsLoading...LoadingSorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

All workflows
Actions
Loading...
Loading

All workflows
Actions
Loading...
Loading

All workflows
Actions
Loading...
Loading

All workflows
Actions
Loading...
Loading

All workflows
Actions
Loading...
Loading