Skip to content

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor #5985

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor #5985

Triggered via pull request July 15, 2026 19:50
Status Success
Total duration 33m 15s
Artifacts 8

Tests.yml

on: pull_request
Matrix: prepare-deps
Matrix: test
Matrix: release
Fit to window
Zoom out
Zoom in

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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/

Artifacts

Produced during runtime
Name Size Digest
coverage-CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP Expired
397 KB
sha256:05c383ba536488c4dc92039a401ace9051fb6537bc3a2a824c3a67233675ab7d
coverage-CartesianCategories_MonoidalCategories Expired
149 KB
sha256:808dde425dc20f063b57c8345c00e962aedbdfc6fe3dfd4b7216d685a0268765
coverage-CompilerForCAP Expired
129 KB
sha256:f7af91037b433c2b868858a55925dc54702ad333b0746bd6ecbbceb730f2cca6
coverage-ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves Expired
403 KB
sha256:7484220f18fd6e19ccb021f7ec489c16501479725d4825ccc7a193ceddfce9a1
coverage-LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP Expired
459 KB
sha256:1d44e7906911f1399509b7a8f53da6b2e88ed0305463681ceeb23d677a3ffe63
coverage-ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP Expired
229 KB
sha256:0db4759217b7adb2f496fcd86d2f3dac0396207bbcc78c97163068f0a80cabcb
deps-master Expired
9.61 MB
sha256:01bde4572db0f6f032c7ab8187bd26de1e77f27a08d03b2b47b4fe638021bc97
deps-stable Expired
9.61 MB
sha256:e76a2e546a03210dcbd7d81af67c97621d7ad8879483c48cf01c10646d6f0f14