Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
600 workflow runs
600 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

elimProp for the FreeCommAlgebra HIT Ubuntu build #2071: Pull request #1035 synchronize by MatthiasHu
August 25, 2023 16:08 3m 54s MatthiasHu:FreeCommAlgebra-elimProp
MatthiasHu:FreeCommAlgebra-elimProp
August 25, 2023 16:08 3m 54s
Improve definitional behavior of the category of elements (#1024) Ubuntu build #2070: Commit 7461251 pushed by felixwellen
August 25, 2023 15:22 4m 6s master
master
August 25, 2023 15:22 4m 6s
Improve definitional behavior of the category of elements Ubuntu build #2069: Pull request #1024 synchronize by jpoiret
August 25, 2023 15:16 3m 41s jpoiret:elements
jpoiret:elements
August 25, 2023 15:16 3m 41s
elimProp for the FreeCommAlgebra HIT Ubuntu build #2068: Pull request #1035 synchronize by MatthiasHu
August 25, 2023 14:41 31m 58s MatthiasHu:FreeCommAlgebra-elimProp
MatthiasHu:FreeCommAlgebra-elimProp
August 25, 2023 14:41 31m 58s
simplify isSet<SomeAlgebraicStructure> (#1033) Ubuntu build #2067: Commit 21ddf92 pushed by felixwellen
August 25, 2023 07:08 30m 10s master
master
August 25, 2023 07:08 30m 10s
elimProp for the FreeCommAlgebra HIT Ubuntu build #2066: Pull request #1035 synchronize by MatthiasHu
August 25, 2023 01:46 4m 2s MatthiasHu:FreeCommAlgebra-elimProp
MatthiasHu:FreeCommAlgebra-elimProp
August 25, 2023 01:46 4m 2s
elimProp for the FreeCommAlgebra HIT Ubuntu build #2065: Pull request #1035 opened by MatthiasHu
August 25, 2023 01:31 5m 16s MatthiasHu:FreeCommAlgebra-elimProp
MatthiasHu:FreeCommAlgebra-elimProp
August 25, 2023 01:31 5m 16s
simplify isSet<SomeAlgebraicStructure> Ubuntu build #2064: Pull request #1033 opened by MatthiasHu
August 25, 2023 00:49 28m 45s MatthiasHu:simplify-isSet<SomeAlgebraicStructure>
MatthiasHu:simplify-isSet<SomeAlgebraicStructure>
August 25, 2023 00:49 28m 45s
fix outdated comments in FreeCommAlgebra (#1032) Ubuntu build #2063: Commit bec2e9c pushed by felixwellen
August 24, 2023 20:59 4m 17s master
master
August 24, 2023 20:59 4m 17s
fix outdated comments in FreeCommAlgebra Ubuntu build #2062: Pull request #1032 opened by MatthiasHu
August 24, 2023 15:51 4m 14s MatthiasHu:update-comments-in-FreeCommAlgebra
MatthiasHu:update-comments-in-FreeCommAlgebra
August 24, 2023 15:51 4m 14s
Sites, sheaves and sheafification as a QIT Ubuntu build #2061: Pull request #1031 synchronize by MatthiasHu
August 22, 2023 14:47 3m 10s MatthiasHu:sheafification-QIT
MatthiasHu:sheafification-QIT
August 22, 2023 14:47 3m 10s
Sites, sheaves and sheafification as a QIT Ubuntu build #2060: Pull request #1031 synchronize by MatthiasHu
August 22, 2023 14:29 3m 41s MatthiasHu:sheafification-QIT
MatthiasHu:sheafification-QIT
August 22, 2023 14:29 3m 41s
Sites, sheaves and sheafification as a QIT Ubuntu build #2059: Pull request #1031 opened by MatthiasHu
August 22, 2023 14:27 2m 55s MatthiasHu:sheafification-QIT
MatthiasHu:sheafification-QIT
August 22, 2023 14:27 2m 55s
Categorical bits and pieces (#1008) Ubuntu build #2058: Commit 5fe4366 pushed by felixwellen
August 22, 2023 11:38 59m 59s master
master
August 22, 2023 11:38 59m 59s
Categorical bits and pieces Ubuntu build #2057: Pull request #1008 synchronize by jpoiret
August 22, 2023 10:29 3m 46s jpoiret:category-theory
jpoiret:category-theory
August 22, 2023 10:29 3m 46s
Categorical bits and pieces Ubuntu build #2056: Pull request #1008 synchronize by jpoiret
August 17, 2023 07:44 56m 2s jpoiret:category-theory
jpoiret:category-theory
August 17, 2023 07:44 56m 2s
Some miscellaneous separated/stable type facts Ubuntu build #2055: Pull request #1030 opened by dolio
August 9, 2023 00:21 53m 17s dolio:topic/stability
dolio:topic/stability
August 9, 2023 00:21 53m 17s
Make variables names _∙∙_∙∙_ consistent with those in doubleComp-faces and remove an unnecessary space Ubuntu build #2054: Pull request #1029 opened by ShreckYe
August 4, 2023 04:55 54m 6s ShreckYe:rename-variables-in-double-comp
ShreckYe:rename-variables-in-double-comp
August 4, 2023 04:55 54m 6s
+Int≡+ Ubuntu build #2053: Pull request #1028 synchronize by timorl
July 26, 2023 11:47 57m 43s timorl:koala
timorl:koala
July 26, 2023 11:47 57m 43s
Move Rationals around Ubuntu build #2049: Pull request #1027 opened by timorl
July 25, 2023 13:20 1h 16m 38s timorl:dingo
timorl:dingo
July 25, 2023 13:20 1h 16m 38s
Modalities Ubuntu build #2048: Pull request #1025 synchronize by JonasHoefer
July 19, 2023 14:39 32m 48s JonasHoefer:modalities
JonasHoefer:modalities
July 19, 2023 14:39 32m 48s
Add opcartesian fibrations Ubuntu build #2047: Pull request #1026 opened by jpoiret
July 17, 2023 13:03 3m 30s jpoiret:opcartesian
jpoiret:opcartesian
July 17, 2023 13:03 3m 30s
Modalities Ubuntu build #2046: Pull request #1025 synchronize by JonasHoefer
July 14, 2023 13:14 37m 37s JonasHoefer:modalities
JonasHoefer:modalities
July 14, 2023 13:14 37m 37s
Modalities Ubuntu build #2045: Pull request #1025 synchronize by JonasHoefer
July 14, 2023 13:07 2m 31s JonasHoefer:modalities
JonasHoefer:modalities
July 14, 2023 13:07 2m 31s
Modalities Ubuntu build #2044: Pull request #1025 opened by JonasHoefer
July 14, 2023 13:06 2m 42s JonasHoefer:modalities
JonasHoefer:modalities
July 14, 2023 13:06 2m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-07-14 or the other filters available.