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

Tests Tests #2292: Scheduled
September 22, 2024 04:19 1h 31m 51s master
master
September 22, 2024 04:19 1h 31m 51s
pages build and deployment pages-build-deployment #1167: by github-pages bot
September 22, 2024 01:07 47s
September 22, 2024 01:07 47s
Several category constructors now use FinQuiver instead of RightQuiver Tests #2291: Pull request #584 opened by mohamed-barakat
September 21, 2024 23:49 20m 24s mohamed-barakat:CategoryFromNerveData
mohamed-barakat:CategoryFromNerveData
September 21, 2024 23:49 20m 24s
Merge pull request #583 from mohamed-barakat/category_attribute_names Tests #2290: Commit 77d66e0 pushed by mohamed-barakat
September 21, 2024 23:47 1h 34m 10s master
master
September 21, 2024 23:47 1h 34m 10s
conditionally Append( PSh!.compiler_hints.category_attribute_names, ... ) Tests #2289: Pull request #583 opened by mohamed-barakat
September 21, 2024 21:52 1h 29m 59s mohamed-barakat:category_attribute_names
mohamed-barakat:category_attribute_names
September 21, 2024 21:52 1h 29m 59s
Tests Tests #2288: Scheduled
September 21, 2024 04:17 1h 31m 22s master
master
September 21, 2024 04:17 1h 31m 22s
Tests Tests #2287: Manually run by zickgraf
September 20, 2024 15:52 1h 32m 56s master
master
September 20, 2024 15:52 1h 32m 56s
Tests Tests #2286: Manually run by zickgraf
September 20, 2024 13:40 1h 35m 2s master
master
September 20, 2024 13:40 1h 35m 2s
Tests Tests #2285: Scheduled
September 20, 2024 04:17 1h 31m 27s master
master
September 20, 2024 04:17 1h 31m 27s
Tests Tests #2284: Scheduled
September 19, 2024 04:18 1h 32m 49s master
master
September 19, 2024 04:18 1h 32m 49s
pages build and deployment pages-build-deployment #1166: by github-pages bot
September 19, 2024 00:11 41s
September 19, 2024 00:11 41s
pages build and deployment pages-build-deployment #1165: by github-pages bot
September 19, 2024 00:04 39s
September 19, 2024 00:04 39s
Merge pull request #582 from mohamed-barakat/IsSpecializationOfFilter Tests #2283: Commit a3da0f6 pushed by mohamed-barakat
September 18, 2024 22:31 1h 42m 13s master
master
September 18, 2024 22:31 1h 42m 13s
replace b in ListImpliedFilters( a ) -> IsSpecializationOfFilter( b, a ) Tests #2282: Pull request #582 opened by mohamed-barakat
September 18, 2024 20:06 2h 6m 54s mohamed-barakat:IsSpecializationOfFilter
mohamed-barakat:IsSpecializationOfFilter
September 18, 2024 20:06 2h 6m 54s
Tests Tests #2281: Scheduled
September 18, 2024 04:18 1h 56m 7s master
master
September 18, 2024 04:18 1h 56m 7s
pages build and deployment pages-build-deployment #1164: by github-pages bot
September 17, 2024 11:02 44s
September 17, 2024 11:02 44s
pages build and deployment pages-build-deployment #1163: by github-pages bot
September 17, 2024 11:01 40s
September 17, 2024 11:01 40s
pages build and deployment pages-build-deployment #1162: by github-pages bot
September 17, 2024 10:57 44s
September 17, 2024 10:57 44s
Merge pull request #580 from mohamed-barakat/dp Tests #2280: Commit 3cef36c pushed by mohamed-barakat
September 17, 2024 09:28 1h 47m 21s master
master
September 17, 2024 09:28 1h 47m 21s
Tests Tests #2279: Scheduled
September 17, 2024 04:16 1h 47m 54s master
master
September 17, 2024 04:16 1h 47m 54s
turn dp instead of Dp into default order in PathCategory Tests #2278: Pull request #580 opened by mohamed-barakat
September 16, 2024 20:30 1h 39m 53s mohamed-barakat:dp
mohamed-barakat:dp
September 16, 2024 20:30 1h 39m 53s
Tests Tests #2277: Scheduled
September 16, 2024 04:17 1h 46m 43s master
master
September 16, 2024 04:17 1h 46m 43s
Tests Tests #2276: Scheduled
September 15, 2024 04:17 1h 45m 16s master
master
September 15, 2024 04:17 1h 45m 16s
Tests Tests #2275: Scheduled
September 14, 2024 04:17 1h 43m 17s master
master
September 14, 2024 04:17 1h 43m 17s
pages build and deployment pages-build-deployment #1161: by github-pages bot
September 13, 2024 15:19 50s
September 13, 2024 15:19 50s