Skip to content

two derivations for symmetric monoidal categories #6025

two derivations for symmetric monoidal categories

two derivations for symmetric monoidal categories #6025

Triggered via pull request August 5, 2026 18:45
Status Success
Total duration 24m 59s
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 (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/
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/
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/
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/
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 (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/
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/
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/
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/
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/
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 (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:536a0fce7c93f22146a68537a1d6c005189cb713f32147d60c46c3a9e8d0b58e
coverage-CartesianCategories_MonoidalCategories Expired
150 KB
sha256:06158477e94bf8405996843291ce82b8c7e44ef48734954deea508dde61927ae
coverage-CompilerForCAP Expired
130 KB
sha256:3aa066522b7136200d62b939c89d1a6769f650ed57a89a5d7fb848b337ec4134
coverage-ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves Expired
404 KB
sha256:0d8675208b5a1232950024414db317d5d94b8e4d83aa40ab9a38c13c8bc7123b
coverage-LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP Expired
460 KB
sha256:13817e2400d5340f45de3fe49538d449b53af7e0fc9a81b07b4ce1dbdcf7062b
coverage-ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP Expired
230 KB
sha256:82146b49b35f66521e6b47cff59bf77bd4ced42d3fa25a893d9f07a8714027f6
deps-master Expired
9.63 MB
sha256:86321fbd710cb9a35ae41e592728632755c6a4dd8a21768efaa1a1f0567c9476
deps-stable Expired
9.63 MB
sha256:0b6b2f496c5ed48fafa9030916b2a9fad86ec7bd11f1fdd3f1f3b209057f2c91