Skip to content

Actions: homalg-project/CategoricalTowers

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1244: by github-pages bot
November 18, 2024 18:02 38s
November 18, 2024 18:02 38s
pages build and deployment pages-build-deployment #1243: by github-pages bot
November 18, 2024 17:57 47s
November 18, 2024 17:57 47s
Merge pull request #609 from mohamed-barakat/OperationWeight Tests #2438: Commit 8482640 pushed by mohamed-barakat
November 18, 2024 16:25 1h 46m 16s master
master
November 18, 2024 16:25 1h 46m 16s
simplified and fixed OperationWeight in (functional) PreSheaves Tests #2437: Pull request #609 opened by mohamed-barakat
November 18, 2024 13:51 2h 19m 50s mohamed-barakat:OperationWeight
mohamed-barakat:OperationWeight
November 18, 2024 13:51 2h 19m 50s
Tests Tests #2436: Scheduled
November 18, 2024 04:19 1h 35m 2s master
master
November 18, 2024 04:19 1h 35m 2s
Merge pull request #557 from mohamed-barakat/notebooks Tests #2435: Commit f69a49f pushed by mohamed-barakat
November 17, 2024 19:13 1h 57m 27s master
master
November 17, 2024 19:13 1h 57m 27s
pages build and deployment pages-build-deployment #1242: by github-pages bot
November 17, 2024 17:46 35s
November 17, 2024 17:46 35s
pages build and deployment pages-build-deployment #1241: by github-pages bot
November 17, 2024 17:42 38s
November 17, 2024 17:42 38s
pages build and deployment pages-build-deployment #1240: by github-pages bot
November 17, 2024 17:42 43s
November 17, 2024 17:42 43s
pages build and deployment pages-build-deployment #1239: by github-pages bot
November 17, 2024 17:40 37s
November 17, 2024 17:40 37s
pages build and deployment pages-build-deployment #1238: by github-pages bot
November 17, 2024 17:40 43s
November 17, 2024 17:40 43s
pages build and deployment pages-build-deployment #1237: by github-pages bot
November 17, 2024 17:37 43s
November 17, 2024 17:37 43s
pages build and deployment pages-build-deployment #1236: by github-pages bot
November 17, 2024 17:35 41s
November 17, 2024 17:35 41s
pages build and deployment pages-build-deployment #1235: by github-pages bot
November 17, 2024 17:34 38s
November 17, 2024 17:34 38s
pages build and deployment pages-build-deployment #1234: by github-pages bot
November 17, 2024 17:32 39s
November 17, 2024 17:32 39s
Revert "temporarily disable testing notebook" Tests #2434: Pull request #557 synchronize by mohamed-barakat
November 17, 2024 16:18 2h 50m 40s mohamed-barakat:notebooks
mohamed-barakat:notebooks
November 17, 2024 16:18 2h 50m 40s
Merge pull request #608 from mohamed-barakat/OperationWeight Tests #2433: Commit 24d8d8f pushed by mohamed-barakat
November 17, 2024 16:12 2h 57m 32s master
master
November 17, 2024 16:12 2h 57m 32s
equip Add-methods for CategoryConstructor with operation weight Tests #2432: Pull request #608 synchronize by mohamed-barakat
November 17, 2024 13:50 2h 18m 13s mohamed-barakat:OperationWeight
mohamed-barakat:OperationWeight
November 17, 2024 13:50 2h 18m 13s
equip Add-methods for CategoryConstructor with operation weight Tests #2431: Pull request #608 synchronize by mohamed-barakat
November 17, 2024 13:44 6m 29s mohamed-barakat:OperationWeight
mohamed-barakat:OperationWeight
November 17, 2024 13:44 6m 29s
equip Add-methods for CategoryConstructor with operation weight Tests #2430: Pull request #608 opened by mohamed-barakat
November 17, 2024 13:36 8m 9s mohamed-barakat:OperationWeight
mohamed-barakat:OperationWeight
November 17, 2024 13:36 8m 9s
Tests Tests #2429: Scheduled
November 17, 2024 04:18 17m 36s master
master
November 17, 2024 04:18 17m 36s
pages build and deployment pages-build-deployment #1233: by github-pages bot
November 16, 2024 22:43 37s
November 16, 2024 22:43 37s
pages build and deployment pages-build-deployment #1232: by github-pages bot
November 16, 2024 22:38 41s
November 16, 2024 22:38 41s
pages build and deployment pages-build-deployment #1231: by github-pages bot
November 16, 2024 22:37 35s
November 16, 2024 22:37 35s
pages build and deployment pages-build-deployment #1230: by github-pages bot
November 16, 2024 22:34 38s
November 16, 2024 22:34 38s