Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,471 workflow runs
1,471 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #5011: Scheduled
January 13, 2025 04:12 14m 34s master
master
January 13, 2025 04:12 14m 34s
Tests Tests #5010: Scheduled
January 12, 2025 04:11 14m 37s master
master
January 12, 2025 04:11 14m 37s
Tests Tests #5009: Scheduled
January 11, 2025 04:11 15m 3s master
master
January 11, 2025 04:11 15m 3s
Tests Tests #5008: Scheduled
January 10, 2025 04:11 14m 53s master
master
January 10, 2025 04:11 14m 53s
Tests Tests #5007: Scheduled
January 9, 2025 04:11 14m 46s master
master
January 9, 2025 04:11 14m 46s
Tests Tests #5006: Scheduled
January 8, 2025 04:12 14m 41s master
master
January 8, 2025 04:12 14m 41s
Tests Tests #5005: Scheduled
January 7, 2025 04:11 15m 2s master
master
January 7, 2025 04:11 15m 2s
Tests Tests #5004: Scheduled
January 6, 2025 04:12 15m 13s master
master
January 6, 2025 04:12 15m 13s
Tests Tests #5003: Scheduled
January 5, 2025 04:11 14m 51s master
master
January 5, 2025 04:11 14m 51s
Tests Tests #5002: Scheduled
January 4, 2025 04:11 15m 49s master
master
January 4, 2025 04:11 15m 49s
Tests Tests #5001: Scheduled
January 3, 2025 04:11 15m 41s master
master
January 3, 2025 04:11 15m 41s
Tests Tests #5000: Scheduled
January 2, 2025 04:11 15m 39s master
master
January 2, 2025 04:11 15m 39s
improved/fixed CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory Tests #4999: Pull request #1487 synchronize by mohamed-barakat
January 2, 2025 00:07 1h 17m 41s mohamed-barakat:IsAbelianCategory
mohamed-barakat:IsAbelianCategory
January 2, 2025 00:07 1h 17m 41s
improved/fixed CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory Tests #4998: Pull request #1487 synchronize by mohamed-barakat
January 2, 2025 00:02 4m 29s mohamed-barakat:IsAbelianCategory
mohamed-barakat:IsAbelianCategory
January 2, 2025 00:02 4m 29s
pages build and deployment pages-build-deployment #1299: by github-pages bot
January 1, 2025 23:45 38s gh-pages
gh-pages
January 1, 2025 23:45 38s
Merge pull request #1713 from mohamed-barakat/TerminalCategoryWithMul… Tests #4997: Commit 91ebb51 pushed by mohamed-barakat
January 1, 2025 23:32 1h 52m 35s master
master
January 1, 2025 23:32 1h 52m 35s
pages build and deployment pages-build-deployment #1298: by github-pages bot
January 1, 2025 21:46 36s gh-pages
gh-pages
January 1, 2025 21:46 36s
pages build and deployment pages-build-deployment #1297: by github-pages bot
January 1, 2025 21:44 38s gh-pages
gh-pages
January 1, 2025 21:44 38s
enhanced TerminalCategoryWithMultipleObjects Tests #4996: Pull request #1713 synchronize by mohamed-barakat
January 1, 2025 21:32 1h 52m 56s mohamed-barakat:TerminalCategoryWithMultipleObjects
mohamed-barakat:TerminalCategoryWithMultipleObjects
January 1, 2025 21:32 1h 52m 56s
Merge pull request #1715 from mohamed-barakat/CartesianClosedCategori… Tests #4995: Commit 2937f8d pushed by mohamed-barakat
January 1, 2025 21:31 53m 27s master
master
January 1, 2025 21:31 53m 27s
updated C(oc)losedMonoidalCategoriesTest Tests #4994: Pull request #1715 synchronize by mohamed-barakat
January 1, 2025 21:12 16m 34s mohamed-barakat:CartesianClosedCategoriesTest
mohamed-barakat:CartesianClosedCategoriesTest
January 1, 2025 21:12 16m 34s
updated C(oc)losedMonoidalCategoriesTest Tests #4993: Pull request #1715 opened by mohamed-barakat
January 1, 2025 20:53 19m 56s mohamed-barakat:CartesianClosedCategoriesTest
mohamed-barakat:CartesianClosedCategoriesTest
January 1, 2025 20:53 19m 56s
enhanced TerminalCategoryWithMultipleObjects Tests #4992: Pull request #1713 synchronize by mohamed-barakat
January 1, 2025 19:20 1h 5m 43s mohamed-barakat:TerminalCategoryWithMultipleObjects
mohamed-barakat:TerminalCategoryWithMultipleObjects
January 1, 2025 19:20 1h 5m 43s
enhanced TerminalCategoryWithMultipleObjects Tests #4991: Pull request #1713 synchronize by mohamed-barakat
January 1, 2025 19:10 9m 58s mohamed-barakat:TerminalCategoryWithMultipleObjects
mohamed-barakat:TerminalCategoryWithMultipleObjects
January 1, 2025 19:10 9m 58s
pages build and deployment pages-build-deployment #1296: by github-pages bot
January 1, 2025 18:42 40s gh-pages
gh-pages
January 1, 2025 18:42 40s