Merge pull request #1863 from mohamed-barakat/CartesianUnitorInverse #5987
Annotations
16 warnings
|
Build docs (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Build docs (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CartesianCategories_MonoidalCategories (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CartesianCategories_MonoidalCategories (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CompilerForCAP (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CompilerForCAP (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Release (stable)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Release (master)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP
Expired
|
397 KB |
sha256:43e2079027b3c25ceb429c63c7affe2033acd7ceca9c6ade8d7382d59c0b6415
|
|
|
coverage-CartesianCategories_MonoidalCategories
Expired
|
149 KB |
sha256:ae63c937f6c3545cd365e98e318750bb444a2ef35b4dd53fd0024e8491a8554d
|
|
|
coverage-CompilerForCAP
Expired
|
129 KB |
sha256:ee9fd55917a02c4f22fb4bd4b82c68c8e0d33b3b25b7c8d47f81fce2ca9c2e16
|
|
|
coverage-ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves
Expired
|
403 KB |
sha256:abb009bb437edd8a3dd34148ec6ec08382108773477de17a665b2595e0d35985
|
|
|
coverage-LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP
Expired
|
459 KB |
sha256:88bb4f7cde167314e302035fbda0a516ccb0db7ea1c2bec072749586ece5cc18
|
|
|
coverage-ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP
Expired
|
229 KB |
sha256:78418913288d4f5e3fd51e7da252e601de3d72335ab5b809477edf580e9ceeef
|
|
|
deps-master
Expired
|
9.61 MB |
sha256:3e55728eca339ffcee730700c91222568ac17979ec51f5647ae0581bb00d97da
|
|
|
deps-stable
Expired
|
9.61 MB |
sha256:66269d949d2cdee806c7fa8429316a3a22593cf14095e5074e79d6a56f83d084
|
|