Skip to content

simplified Cartesian*UnitorInverse and Cocartesian*Unitor #6005

simplified Cartesian*UnitorInverse and Cocartesian*Unitor

simplified Cartesian*UnitorInverse and Cocartesian*Unitor #6005

Triggered via pull request July 28, 2026 13:22
Status Success
Total duration 24m 44s
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/
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 (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/
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/
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/
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 (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/
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 (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:adcb39accd9527de3bf6d066980ab3bad7ddbd2934439b5cc00ff1671ff809f1
coverage-CartesianCategories_MonoidalCategories Expired
150 KB
sha256:3c696221f74f0a071cd419b4171df7f37e818c91ef7398be2e0e7465b10a9ce2
coverage-CompilerForCAP Expired
129 KB
sha256:7bb28eeaad3473a27c815c830d744fa3fe36bdd4bd0d57ae6559afe111cfb029
coverage-ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves Expired
403 KB
sha256:9f262a92f70584e953a89675043dac09eaf41361d0bdef07510f2291f1bdf14a
coverage-LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP Expired
460 KB
sha256:d94727fd8fdefc5d4a3bb19c551104108dd75ddeb135a4fd9bca1df4eecd52b6
coverage-ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP Expired
230 KB
sha256:4e9630e3c6f08f7b868f1f9208be8855560c31adb7d139ef69346c337df37f76
deps-master Expired
9.63 MB
sha256:32beee9be3f8a47919bb652129f9180a73e12532cf004bcf456d25016afcc3bb
deps-stable Expired
9.63 MB
sha256:3904c3e1e491e33e96c49a0775250bc7e5dcbd49f12a241e55cbceefaa1f78c3