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 #2328: Manually run by zickgraf
October 4, 2024 07:54 In progress master
master
October 4, 2024 07:54 In progress
Tests Tests #2327: Scheduled
October 4, 2024 04:18 1h 36m 9s master
master
October 4, 2024 04:18 1h 36m 9s
Tests Tests #2326: Scheduled
October 3, 2024 04:18 1h 39m 27s master
master
October 3, 2024 04:18 1h 39m 27s
SetIsAbelianCategoryWithEnoughProjectives( PSh, true ) Tests #2325: Pull request #589 synchronize by mohamed-barakat
October 2, 2024 11:06 2h 45m 23s mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
October 2, 2024 11:06 2h 45m 23s
SetIsAbelianCategoryWithEnoughProjectives( PSh, true ) Tests #2324: Pull request #589 synchronize by mohamed-barakat
October 2, 2024 10:33 20m 59s mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
October 2, 2024 10:33 20m 59s
SetIsAbelianCategoryWithEnoughProjectives( PSh, true ) Tests #2323: Pull request #589 opened by mohamed-barakat
October 2, 2024 09:26 19m 43s mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
mohamed-barakat:SetIsAbelianCategoryWithEnoughProjectives
October 2, 2024 09:26 19m 43s
Tests Tests #2322: Scheduled
October 2, 2024 04:18 1h 39m 16s master
master
October 2, 2024 04:18 1h 39m 16s
Tests Tests #2321: Scheduled
October 1, 2024 04:18 1h 39m 11s master
master
October 1, 2024 04:18 1h 39m 11s
Tests Tests #2320: Scheduled
September 30, 2024 04:18 1h 40m 17s master
master
September 30, 2024 04:18 1h 40m 17s
pages build and deployment pages-build-deployment #1181: by github-pages bot
September 29, 2024 16:39 39s
September 29, 2024 16:39 39s
pages build and deployment pages-build-deployment #1180: by github-pages bot
September 29, 2024 16:38 41s
September 29, 2024 16:38 41s
Merge pull request #588 from mohamed-barakat/devel Tests #2319: Commit ea57cf8 pushed by mohamed-barakat
September 29, 2024 15:13 3h 27m 43s master
master
September 29, 2024 15:13 3h 27m 43s
fixed loading of Julia.gi Tests #2318: Pull request #588 synchronize by mohamed-barakat
September 29, 2024 15:12 2h 27m 16s mohamed-barakat:devel
mohamed-barakat:devel
September 29, 2024 15:12 2h 27m 16s
fixed loading of Julia.gi Tests #2317: Pull request #588 opened by mohamed-barakat
September 29, 2024 15:04 7m 38s mohamed-barakat:devel
mohamed-barakat:devel
September 29, 2024 15:04 7m 38s
Merge pull request #587 from mohamed-barakat/AstrictionToCoimage Tests #2316: Commit 91f4ed7 pushed by mohamed-barakat
September 29, 2024 15:03 1h 36m 15s master
master
September 29, 2024 15:03 1h 36m 15s
pages build and deployment pages-build-deployment #1179: by github-pages bot
September 29, 2024 13:24 43s
September 29, 2024 13:24 43s
demonstrate AstrictionToCoimage( EpimorphismFromSomeProjectiveObject( ... ) ) Tests #2315: Pull request #587 synchronize by mohamed-barakat
September 29, 2024 13:19 2h 19m 28s mohamed-barakat:AstrictionToCoimage
mohamed-barakat:AstrictionToCoimage
September 29, 2024 13:19 2h 19m 28s
pages build and deployment pages-build-deployment #1178: by github-pages bot
September 29, 2024 13:17 39s
September 29, 2024 13:17 39s
pages build and deployment pages-build-deployment #1177: by github-pages bot
September 29, 2024 13:16 39s
September 29, 2024 13:16 39s
pages build and deployment pages-build-deployment #1176: by github-pages bot
September 29, 2024 13:13 41s
September 29, 2024 13:13 41s
pages build and deployment pages-build-deployment #1175: by github-pages bot
September 29, 2024 13:12 39s
September 29, 2024 13:12 39s
pages build and deployment pages-build-deployment #1174: by github-pages bot
September 29, 2024 13:10 45s
September 29, 2024 13:10 45s
pages build and deployment pages-build-deployment #1173: by github-pages bot
September 29, 2024 13:09 45s
September 29, 2024 13:09 45s
demonstrate AstrictionToCoimage( EpimorphismFromSomeProjectiveObject( ... ) ) Tests #2314: Pull request #587 opened by mohamed-barakat
September 29, 2024 11:46 1h 33m 7s mohamed-barakat:AstrictionToCoimage
mohamed-barakat:AstrictionToCoimage
September 29, 2024 11:46 1h 33m 7s
Merge pull request #586 from mohamed-barakat/CapAndHomalg Tests #2313: Commit 626fe31 pushed by mohamed-barakat
September 29, 2024 11:43 2h 55m 52s master
master
September 29, 2024 11:43 2h 55m 52s