Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,731 workflow runs
1,731 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: use GHC2021 as default-language PR Preview #402: Pull request #349 opened by ncfavier
January 25, 2024 11:45 7m 43s ghc2021
ghc2021
January 25, 2024 11:45 7m 43s
chore: use GHC2021 as default-language Build #2424: Commit 780c18a pushed by ncfavier
January 25, 2024 11:44 26m 51s ghc2021
ghc2021
January 25, 2024 11:44 26m 51s
Free groupoids and final functors Build #2423: Pull request #348 synchronize by ncfavier
January 25, 2024 10:29 6m 20s final
final
January 25, 2024 10:29 6m 20s
Free groupoids and final functors PR Preview #401: Pull request #348 synchronize by ncfavier
January 25, 2024 10:29 4m 54s final
final
January 25, 2024 10:29 4m 54s
connect categorical connectedness to homotopy connectedness Build #2422: Commit 5a5ea88 pushed by ncfavier
January 25, 2024 10:29 6m 31s final
final
January 25, 2024 10:29 6m 31s
Free groupoids and final functors Build #2421: Pull request #348 synchronize by ncfavier
January 24, 2024 16:40 6m 57s final
final
January 24, 2024 16:40 6m 57s
Free groupoids and final functors PR Preview #400: Pull request #348 synchronize by ncfavier
January 24, 2024 16:40 4m 28s final
final
January 24, 2024 16:40 4m 28s
chore: FreeGroupoid → Free-groupoid Build #2420: Commit 9eaa1c0 pushed by ncfavier
January 24, 2024 16:40 6m 38s final
final
January 24, 2024 16:40 6m 38s
Free groupoids and final functors Build #2419: Pull request #348 synchronize by ncfavier
January 24, 2024 15:16 16m 59s final
final
January 24, 2024 15:16 16m 59s
Free groupoids and final functors PR Preview #399: Pull request #348 synchronize by ncfavier
January 24, 2024 15:16 4m 34s final
final
January 24, 2024 15:16 4m 34s
clean up F∘-is-final Build #2418: Commit 42670ac pushed by ncfavier
January 24, 2024 15:16 17m 4s final
final
January 24, 2024 15:16 17m 4s
Compactness for classical propositional logic is a constructive taboo PR Preview #398: Pull request #341 synchronize by TOTBWF
January 22, 2024 18:08 4m 49s compactness-taboo
compactness-taboo
January 22, 2024 18:08 4m 49s
Compactness for classical propositional logic is a constructive taboo Build #2417: Pull request #341 synchronize by TOTBWF
January 22, 2024 18:08 2m 56s compactness-taboo
compactness-taboo
January 22, 2024 18:08 2m 56s
prose: reflow text Build #2416: Commit f325000 pushed by TOTBWF
January 22, 2024 18:08 3m 2s compactness-taboo
compactness-taboo
January 22, 2024 18:08 3m 2s
Free groupoids and final functors Build #2415: Pull request #348 opened by ncfavier
January 22, 2024 18:04 22m 29s final
final
January 22, 2024 18:04 22m 29s
Free groupoids and final functors PR Preview #397: Pull request #348 opened by ncfavier
January 22, 2024 18:04 8m 16s final
final
January 22, 2024 18:04 8m 16s
chore: update index Build #2414: Commit f960e34 pushed by ncfavier
January 22, 2024 17:45 22m 47s final
final
January 22, 2024 17:45 22m 47s
Compactness for classical propositional logic is a constructive taboo Build #2413: Pull request #341 synchronize by TOTBWF
January 21, 2024 17:35 21m 41s compactness-taboo
compactness-taboo
January 21, 2024 17:35 21m 41s
Compactness for classical propositional logic is a constructive taboo PR Preview #396: Pull request #341 synchronize by TOTBWF
January 21, 2024 17:35 3m 18s compactness-taboo
compactness-taboo
January 21, 2024 17:35 3m 18s
fix: fix instance resolution issues Build #2412: Commit 2087685 pushed by TOTBWF
January 21, 2024 17:35 21m 14s compactness-taboo
compactness-taboo
January 21, 2024 17:35 21m 14s
Some basic results about functors preserving epis/monos Build #2411: Pull request #347 synchronize by TOTBWF
January 21, 2024 17:02 2m 57s functor-pres-morphism
functor-pres-morphism
January 21, 2024 17:02 2m 57s
Some basic results about functors preserving epis/monos PR Preview #395: Pull request #347 synchronize by TOTBWF
January 21, 2024 17:02 3m 22s functor-pres-morphism
functor-pres-morphism
January 21, 2024 17:02 3m 22s
prose: address review comments Build #2410: Commit 719c2b0 pushed by TOTBWF
January 21, 2024 17:02 3m 1s functor-pres-morphism
functor-pres-morphism
January 21, 2024 17:02 3m 1s
Some basic results about functors preserving epis/monos Build #2409: Pull request #347 synchronize by TOTBWF
January 21, 2024 03:48 19m 55s functor-pres-morphism
functor-pres-morphism
January 21, 2024 03:48 19m 55s
Some basic results about functors preserving epis/monos PR Preview #394: Pull request #347 synchronize by TOTBWF
January 21, 2024 03:48 6m 0s functor-pres-morphism
functor-pres-morphism
January 21, 2024 03:48 6m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-01-21 or the other filters available.