Skip to content
Tests

two derivations for symmetric monoidal categories #6025

Sign in to view logs

two derivations for symmetric monoidal categories

two derivations for symmetric monoidal categories #6025

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build docs (master)
4m 52s
Build docs (stable)
4m 47s
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (master)
7m 24s
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (stable)
7m 11s
CompilerForCAP (stable)
10m 30s
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (stable)
4m 32s
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (master)
4m 24s
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (stable)
4m 51s
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (master)
5m 25s
CompilerForCAP (master)
11m 42s
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (master)
4m 52s
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (stable)
4m 58s
CartesianCategories_MonoidalCategories (stable)
4m 37s
CartesianCategories_MonoidalCategories (master)
4m 57s
Release (stable)
7m 23s
Release (master)
7m 2s
1h 39m 27s