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

Introduce Semiring and refactor finite sums Ubuntu build #2098: Pull request #1042 synchronize by felixwellen
September 10, 2023 12:15 3m 9s fwellen/semiring
fwellen/semiring
September 10, 2023 12:15 3m 9s
Introduce Semiring and refactor finite sums Ubuntu build #2097: Pull request #1042 synchronize by felixwellen
September 10, 2023 11:42 3m 30s fwellen/semiring
fwellen/semiring
September 10, 2023 11:42 3m 30s
Introduce Semiring and refactor finite sums Ubuntu build #2096: Pull request #1042 synchronize by felixwellen
September 10, 2023 11:33 2m 59s fwellen/semiring
fwellen/semiring
September 10, 2023 11:33 2m 59s
Introduce Semiring and refactor finite sums Ubuntu build #2095: Pull request #1042 synchronize by felixwellen
September 10, 2023 11:31 3m 1s fwellen/semiring
fwellen/semiring
September 10, 2023 11:31 3m 1s
Introduce Semiring and refactor finite sums Ubuntu build #2094: Pull request #1042 synchronize by felixwellen
September 10, 2023 09:57 3m 4s fwellen/semiring
fwellen/semiring
September 10, 2023 09:57 3m 4s
Introduce Semiring and refactor finite sums Ubuntu build #2093: Pull request #1042 opened by felixwellen
September 10, 2023 08:54 2m 52s fwellen/semiring
fwellen/semiring
September 10, 2023 08:54 2m 52s
Generalize types of inspect idiom Ubuntu build #2092: Pull request #1041 opened by dolio
September 4, 2023 21:07 36m 56s dolio:topic/dependent-inspect
dolio:topic/dependent-inspect
September 4, 2023 21:07 36m 56s
Make variables names _∙∙_∙∙_ consistent with those in doubleComp-face… Ubuntu build #2091: Commit d643547 pushed by MatthiasHu
September 4, 2023 18:14 45m 35s master
master
September 4, 2023 18:14 45m 35s
Some miscellaneous separated/stable type facts (#1030) Ubuntu build #2090: Commit 255fb83 pushed by MatthiasHu
September 4, 2023 16:38 43m 33s master
master
September 4, 2023 16:38 43m 33s
Some miscellaneous separated/stable type facts Ubuntu build #2089: Pull request #1030 synchronize by MatthiasHu
September 4, 2023 16:21 3m 13s dolio:topic/stability
dolio:topic/stability
September 4, 2023 16:21 3m 13s
Some miscellaneous separated/stable type facts Ubuntu build #2088: Pull request #1030 synchronize by dolio
September 2, 2023 17:47 45m 58s dolio:topic/stability
dolio:topic/stability
September 2, 2023 17:47 45m 58s
Sites, sheaves and sheafification as a QIT Ubuntu build #2087: Pull request #1031 synchronize by MatthiasHu
August 31, 2023 16:10 51m 37s MatthiasHu:sheafification-QIT
MatthiasHu:sheafification-QIT
August 31, 2023 16:10 51m 37s
Merge pull request #1026 from jpoiret/opcartesian Ubuntu build #2086: Commit a233f8e pushed by ecavallo
August 31, 2023 15:27 4m 48s master
master
August 31, 2023 15:27 4m 48s
remove isSet<AlgebraicStructure> accessors Ubuntu build #2085: Pull request #1040 opened by MatthiasHu
August 30, 2023 22:05 38m 50s MatthiasHu:remove-isSet<AlgebraicStructure>-accessors
MatthiasHu:remove-isSet<AlgebraicStructure>-accessors
August 30, 2023 22:05 38m 50s
Move Rationals around Ubuntu build #2084: Pull request #1027 synchronize by timorl
August 30, 2023 16:00 4m 6s timorl:dingo
timorl:dingo
August 30, 2023 16:00 4m 6s
·Int≡· Ubuntu build #2083: Pull request #1039 opened by timorl
August 30, 2023 15:59 3m 50s timorl:sugar-glider
timorl:sugar-glider
August 30, 2023 15:59 3m 50s
Add opcartesian fibrations Ubuntu build #2082: Pull request #1026 synchronize by jpoiret
August 30, 2023 15:40 3m 43s jpoiret:opcartesian
jpoiret:opcartesian
August 30, 2023 15:40 3m 43s
+Int≡+ (#1028) Ubuntu build #2081: Commit 3c45155 pushed by felixwellen
August 29, 2023 15:10 35m 59s master
master
August 29, 2023 15:10 35m 59s
Avoid unnecessary syntax declarations Ubuntu build #2080: Pull request #1038 synchronize by MatthiasHu
August 29, 2023 14:55 23m 27s MatthiasHu:avoid-syntax-declarations
MatthiasHu:avoid-syntax-declarations
August 29, 2023 14:55 23m 27s
Avoid unnecessary syntax declarations Ubuntu build #2079: Pull request #1038 opened by MatthiasHu
August 29, 2023 14:36 13m 55s MatthiasHu:avoid-syntax-declarations
MatthiasHu:avoid-syntax-declarations
August 29, 2023 14:36 13m 55s
Sites, sheaves and sheafification as a QIT Ubuntu build #2078: Pull request #1031 synchronize by MatthiasHu
August 28, 2023 18:37 41m 11s MatthiasHu:sheafification-QIT
MatthiasHu:sheafification-QIT
August 28, 2023 18:37 41m 11s
Experiment with notation for algebra and category theory Ubuntu build #2077: Pull request #1037 opened by felixwellen
August 26, 2023 11:44 3m 8s felixwellen:algebra-notation
felixwellen:algebra-notation
August 26, 2023 11:44 3m 8s
+Int≡+ Ubuntu build #2075: Pull request #1028 synchronize by timorl
August 25, 2023 17:46 38m 57s timorl:koala
timorl:koala
August 25, 2023 17:46 38m 57s
Express universal properties of algebraic constructions in terms of representable presheaves Ubuntu build #2073: Pull request #1036 opened by MatthiasHu
August 25, 2023 16:28 3m 7s MatthiasHu:represented-functors-of-algebra-constructions
MatthiasHu:represented-functors-of-algebra-constructions
August 25, 2023 16:28 3m 7s
elimProp for the FreeCommAlgebra HIT (#1035) Ubuntu build #2072: Commit 6d3a630 pushed by felixwellen
August 25, 2023 16:21 4m 56s master
master
August 25, 2023 16:21 4m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.