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

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
enhanced TerminalCategoryWithMultipleObjects Tests #4990: Pull request #1713 synchronize by mohamed-barakat
January 1, 2025 18:30 39m 58s mohamed-barakat:TerminalCategoryWithMultipleObjects
mohamed-barakat:TerminalCategoryWithMultipleObjects
January 1, 2025 18:30 39m 58s
Merge pull request #1714 from mohamed-barakat/TerminalCategoryCocarte… Tests #4989: Commit 235b6b5 pushed by mohamed-barakat
January 1, 2025 18:29 55m 33s master
master
January 1, 2025 18:29 55m 33s
fixed TerminalCategoryCocartesian.tst Tests #4988: Pull request #1714 opened by mohamed-barakat
January 1, 2025 17:32 52m 26s mohamed-barakat:TerminalCategoryCocartesian
mohamed-barakat:TerminalCategoryCocartesian
January 1, 2025 17:32 52m 26s
pages build and deployment pages-build-deployment #1295: by github-pages bot
January 1, 2025 16:45 36s gh-pages
gh-pages
January 1, 2025 16:45 36s
enhanced TerminalCategoryWithMultipleObjects Tests #4987: Pull request #1713 opened by mohamed-barakat
January 1, 2025 16:35 10m 53s mohamed-barakat:TerminalCategoryWithMultipleObjects
mohamed-barakat:TerminalCategoryWithMultipleObjects
January 1, 2025 16:35 10m 53s
Merge pull request #1712 from mohamed-barakat/CoHom Tests #4986: Commit 46f274b pushed by mohamed-barakat
January 1, 2025 16:29 55m 25s master
master
January 1, 2025 16:29 55m 25s
fixed (Left)C(oc)losedMonoidalCategoriesTestWithGiven Tests #4985: Pull request #1712 opened by mohamed-barakat
January 1, 2025 15:29 54m 23s mohamed-barakat:CoHom
mohamed-barakat:CoHom
January 1, 2025 15:29 54m 23s
Tests Tests #4984: Scheduled
January 1, 2025 04:11 15m 37s master
master
January 1, 2025 04:11 15m 37s
Tests Tests #4983: Scheduled
December 31, 2024 04:11 15m 14s master
master
December 31, 2024 04:11 15m 14s
Tests Tests #4982: Scheduled
December 30, 2024 04:12 16m 2s master
master
December 30, 2024 04:12 16m 2s
Tests Tests #4981: Scheduled
December 29, 2024 04:11 16m 34s master
master
December 29, 2024 04:11 16m 34s
Tests Tests #4980: Scheduled
December 28, 2024 04:11 19m 48s master
master
December 28, 2024 04:11 19m 48s
Tests Tests #4979: Scheduled
December 27, 2024 04:11 15m 36s master
master
December 27, 2024 04:11 15m 36s
Tests Tests #4978: Scheduled
December 26, 2024 04:12 14m 52s master
master
December 26, 2024 04:12 14m 52s
Tests Tests #4977: Scheduled
December 25, 2024 04:11 15m 23s master
master
December 25, 2024 04:11 15m 23s
Tests Tests #4976: Scheduled
December 24, 2024 04:11 16m 0s master
master
December 24, 2024 04:11 16m 0s
Tests Tests #4975: Scheduled
December 23, 2024 04:11 15m 30s master
master
December 23, 2024 04:11 15m 30s
Tests Tests #4974: Scheduled
December 22, 2024 04:11 15m 27s master
master
December 22, 2024 04:11 15m 27s
Tests Tests #4973: Scheduled
December 21, 2024 04:11 15m 27s master
master
December 21, 2024 04:11 15m 27s
Tests Tests #4972: Scheduled
December 20, 2024 04:12 15m 35s master
master
December 20, 2024 04:12 15m 35s
Tests Tests #4971: Scheduled
December 19, 2024 04:12 15m 47s master
master
December 19, 2024 04:12 15m 47s
Tests Tests #4970: Scheduled
December 18, 2024 04:12 15m 9s master
master
December 18, 2024 04:12 15m 9s
pages build and deployment pages-build-deployment #1294: by github-pages bot
December 17, 2024 20:04 49s gh-pages
gh-pages
December 17, 2024 20:04 49s
Merge pull request #1711 from mohamed-barakat/Union2 Tests #4969: Commit c92931f pushed by mohamed-barakat
December 17, 2024 19:50 2h 4m 56s master
master
December 17, 2024 19:50 2h 4m 56s