Skip to content
Tests

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor #5980

Sign in to view logs

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor #5980

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build docs (stable)
4m 47s
Build docs (master)
4m 21s
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (stable)
5m 1s
CompilerForCAP (stable)
12m 10s
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (master)
4m 27s
ModulesOverLocalRingsForCAP_ModulePresentationsForCAP_GradedModulePresentationsForCAP (stable)
4m 14s
CartesianCategories_MonoidalCategories (master)
4m 24s
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (stable)
4m 40s
CAP_ActionsForCAP_AttributeCategoryForCAP_GroupRepresentationsForCAP_GroupsAsCategoriesForCAP (master)
4m 43s
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (stable)
7m 21s
ComplexesAndFilteredObjectsForCAP_InternalExteriorAlgebraForCAP_HomologicalAlgebraForCAP_GeneralizedMorphismsForCAP_ToricSheaves (master)
4m 57s
CompilerForCAP (master)
11m 12s
LinearAlgebraForCAP_LinearClosuresForCAP_AdditiveClosuresForCAP_FreydCategoriesForCAP (master)
6m 59s
CartesianCategories_MonoidalCategories (stable)
3m 36s
Release (master)
7m 38s
Release (stable)
7m 6s
1h 37m 36s