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

pages build and deployment pages-build-deployment #1146: by github-pages bot
September 9, 2024 10:37 45s
September 9, 2024 10:37 45s
pages build and deployment pages-build-deployment #1145: by github-pages bot
September 9, 2024 10:36 45s
September 9, 2024 10:36 45s
pages build and deployment pages-build-deployment #1144: by github-pages bot
September 9, 2024 10:34 41s
September 9, 2024 10:34 41s
pages build and deployment pages-build-deployment #1143: by github-pages bot
September 9, 2024 10:32 39s
September 9, 2024 10:32 39s
pages build and deployment pages-build-deployment #1142: by github-pages bot
September 9, 2024 10:31 39s
September 9, 2024 10:31 39s
Merge pull request #576 from zickgraf/master Tests #2263: Commit 7aab7b6 pushed by mohamed-barakat
September 9, 2024 09:01 2h 51m 2s master
master
September 9, 2024 09:01 2h 51m 2s
Remove support for return types allowing fail Tests #2262: Pull request #576 opened by zickgraf
September 9, 2024 07:07 1h 46m 20s zickgraf:master
zickgraf:master
September 9, 2024 07:07 1h 46m 20s
Tests Tests #2261: Scheduled
September 9, 2024 04:17 1h 44m 49s master
master
September 9, 2024 04:17 1h 44m 49s
pages build and deployment pages-build-deployment #1141: by github-pages bot
September 8, 2024 15:40 47s
September 8, 2024 15:40 47s
pages build and deployment pages-build-deployment #1140: by github-pages bot
September 8, 2024 15:32 48s
September 8, 2024 15:32 48s
pages build and deployment pages-build-deployment #1139: by github-pages bot
September 8, 2024 15:31 42s
September 8, 2024 15:31 42s
pages build and deployment pages-build-deployment #1138: by github-pages bot
September 8, 2024 15:28 39s
September 8, 2024 15:28 39s
pages build and deployment pages-build-deployment #1137: by github-pages bot
September 8, 2024 15:27 45s
September 8, 2024 15:27 45s
pages build and deployment pages-build-deployment #1136: by github-pages bot
September 8, 2024 15:25 41s
September 8, 2024 15:25 41s
pages build and deployment pages-build-deployment #1135: by github-pages bot
September 8, 2024 15:24 41s
September 8, 2024 15:24 41s
Merge pull request #575 from mohamed-barakat/Julia Tests #2260: Commit 4e64f5c pushed by mohamed-barakat
September 8, 2024 13:55 1h 55m 15s master
master
September 8, 2024 13:55 1h 55m 15s
switch from Julia 1.10.4 -> 1.10.5 Tests #2259: Pull request #575 opened by mohamed-barakat
September 8, 2024 11:25 2h 24m 18s mohamed-barakat:Julia
mohamed-barakat:Julia
September 8, 2024 11:25 2h 24m 18s
Tests Tests #2258: Scheduled
September 8, 2024 04:16 1h 46m 7s master
master
September 8, 2024 04:16 1h 46m 7s
pages build and deployment pages-build-deployment #1134: by github-pages bot
September 7, 2024 19:14 42s
September 7, 2024 19:14 42s
pages build and deployment pages-build-deployment #1133: by github-pages bot
September 7, 2024 19:06 43s
September 7, 2024 19:06 43s
Merge pull request #568 from mohamed-barakat/IsCategoryWithoutMorphis… Tests #2257: Commit de43cd6 pushed by mohamed-barakat
September 7, 2024 17:28 2h 17m 30s master
master
September 7, 2024 17:28 2h 17m 30s
declare and used IsCategoryWithoutMorphismData Tests #2256: Pull request #568 synchronize by mohamed-barakat
September 7, 2024 14:34 2h 10m 34s mohamed-barakat:IsCategoryWithoutMorphismData
mohamed-barakat:IsCategoryWithoutMorphismData
September 7, 2024 14:34 2h 10m 34s
pages build and deployment pages-build-deployment #1132: by github-pages bot
September 7, 2024 12:25 41s
September 7, 2024 12:25 41s
Merge pull request #574 from mohamed-barakat/MonoidalCategories Tests #2255: Commit b4a7c0f pushed by mohamed-barakat
September 7, 2024 10:47 1h 57m 50s master
master
September 7, 2024 10:47 1h 57m 50s
comply with MonoidalCategories v2024.09-02 Tests #2254: Pull request #574 opened by mohamed-barakat
September 7, 2024 08:57 1h 47m 37s mohamed-barakat:MonoidalCategories
mohamed-barakat:MonoidalCategories
September 7, 2024 08:57 1h 47m 37s