Skip to content

Actions: homalg-project/CategoricalTowers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,143 workflow runs
2,143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added error message to constructors MeetSemilatticeOfSingle/MultipleDifferences Tests #928: Pull request #265 synchronize by mohamed-barakat
June 28, 2023 19:40 1h 31m 17s mohamed-barakat:devel
mohamed-barakat:devel
June 28, 2023 19:40 1h 31m 17s
Merge pull request #266 from mohamed-barakat/TerminalCategory Tests #927: Commit e78459f pushed by mohamed-barakat
June 28, 2023 19:29 1h 42m 28s master
master
June 28, 2023 19:29 1h 42m 28s
updated FiniteCocompletions Tests #926: Pull request #266 opened by mohamed-barakat
June 28, 2023 14:34 1h 50m 27s mohamed-barakat:TerminalCategory
mohamed-barakat:TerminalCategory
June 28, 2023 14:34 1h 50m 27s
Tests Tests #925: Scheduled
June 28, 2023 04:16 30m 46s master
master
June 28, 2023 04:16 30m 46s
added error message to constructors MeetSemilatticeOfSingle/MultipleDifferences Tests #924: Pull request #265 opened by mohamed-barakat
June 27, 2023 15:40 31m 35s mohamed-barakat:devel
mohamed-barakat:devel
June 27, 2023 15:40 31m 35s
Merge pull request #264 from zickgraf/master Tests #923: Commit 47940f5 pushed by mohamed-barakat
June 27, 2023 14:20 35m 18s master
master
June 27, 2023 14:20 35m 18s
Fix IsWellDefinedForMorphisms and UniversalMorphismFromCoproduct in SliceCategory Tests #922: Pull request #264 synchronize by zickgraf
June 27, 2023 10:08 1h 24m 16s zickgraf:master
zickgraf:master
June 27, 2023 10:08 1h 24m 16s
Fix IsWellDefinedForMorphisms and UniversalMorphismFromCoproduct in SliceCategory Tests #921: Pull request #264 opened by zickgraf
June 27, 2023 08:53 1h 6m 51s zickgraf:master
zickgraf:master
June 27, 2023 08:53 1h 6m 51s
pages build and deployment pages-build-deployment #399: by github-pages bot
June 27, 2023 07:23 52s
June 27, 2023 07:23 52s
Merge pull request #263 from mohamed-barakat/OptimizedCoYonedaLemma Tests #920: Commit ba1b176 pushed by mohamed-barakat
June 27, 2023 06:03 1h 31m 50s master
master
June 27, 2023 06:03 1h 31m 50s
Tests Tests #919: Scheduled
June 27, 2023 04:15 1h 43m 52s master
master
June 27, 2023 04:15 1h 43m 52s
pages build and deployment pages-build-deployment #398: by github-pages bot
June 27, 2023 00:12 57s
June 27, 2023 00:12 57s
added to ExternalHomOnObjectsEqualizerData the suffix UsingOptimizedCoYonedaLemma Tests #918: Pull request #263 opened by mohamed-barakat
June 26, 2023 22:47 1h 47m 50s mohamed-barakat:OptimizedCoYonedaLemma
mohamed-barakat:OptimizedCoYonedaLemma
June 26, 2023 22:47 1h 47m 50s
Merge pull request #262 from mohamed-barakat/Pair Tests #917: Commit 3c1b2a8 pushed by mohamed-barakat
June 26, 2023 22:46 1h 43m 3s master
master
June 26, 2023 22:46 1h 43m 3s
replace [ ] -> Pair Tests #916: Pull request #262 opened by mohamed-barakat
June 26, 2023 14:21 1h 42m 38s mohamed-barakat:Pair
mohamed-barakat:Pair
June 26, 2023 14:21 1h 42m 38s
Tests Tests #915: Manually run by zickgraf
June 26, 2023 11:34 1h 26m 17s master
master
June 26, 2023 11:34 1h 26m 17s
Merge pull request #261 from mohamed-barakat/Digraphs Tests #913: Commit 20fc21c pushed by mohamed-barakat
June 25, 2023 04:28 1d 7h 6m 15s master
master
June 25, 2023 04:28 1d 7h 6m 15s
Tests Tests #912: Scheduled
June 25, 2023 04:15 1d 7h 18m 49s master
master
June 25, 2023 04:15 1d 7h 18m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-06-25 or the other filters available.