Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #3987: Scheduled
November 26, 2023 04:12 13m 7s master
master
November 26, 2023 04:12 13m 7s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3986: Pull request #1504 synchronize by mohamed-barakat
November 25, 2023 11:46 13m 7s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 25, 2023 11:46 13m 7s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3985: Pull request #1504 synchronize by mohamed-barakat
November 25, 2023 11:41 5m 18s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 25, 2023 11:41 5m 18s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3984: Pull request #1504 synchronize by mohamed-barakat
November 25, 2023 11:40 1m 2s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 25, 2023 11:40 1m 2s
Tests Tests #3983: Scheduled
November 25, 2023 04:12 12m 54s master
master
November 25, 2023 04:12 12m 54s
pages build and deployment pages-build-deployment #950: by github-pages bot
November 24, 2023 11:15 54s gh-pages
gh-pages
November 24, 2023 11:15 54s
Merge pull request #1505 from mohamed-barakat/Finalize Tests #3982: Commit ca60eed pushed by zickgraf
November 24, 2023 11:04 14m 32s master
master
November 24, 2023 11:04 14m 32s
Tests Tests #3981: Scheduled
November 24, 2023 04:12 12m 52s master
master
November 24, 2023 04:12 12m 52s
Add UniversalPropertyOf(Co)DualWithGiven(Co)DualObject Tests #3980: Pull request #1488 synchronize by TKuh
November 23, 2023 22:10 12m 57s TKuh:univ_prop_dual_with_given
TKuh:univ_prop_dual_with_given
November 23, 2023 22:10 12m 57s
finalize RangeCategoryOfHomomorphismStructure in LinearClosure Tests #3979: Pull request #1505 opened by mohamed-barakat
November 23, 2023 19:26 13m 15s mohamed-barakat:Finalize
mohamed-barakat:Finalize
November 23, 2023 19:26 13m 15s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3978: Pull request #1504 opened by mohamed-barakat
November 23, 2023 17:48 13m 14s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 23, 2023 17:48 13m 14s
pages build and deployment pages-build-deployment #949: by github-pages bot
November 23, 2023 17:47 40s gh-pages
gh-pages
November 23, 2023 17:47 40s
Merge pull request #1503 from mohamed-barakat/Triple Tests #3977: Commit 2a0e672 pushed by zickgraf
November 23, 2023 17:36 13m 37s master
master
November 23, 2023 17:36 13m 37s
replace inhomogeneous literal list by NTuple Tests #3976: Pull request #1503 synchronize by mohamed-barakat
November 23, 2023 17:17 13m 31s mohamed-barakat:Triple
mohamed-barakat:Triple
November 23, 2023 17:17 13m 31s
replace inhomogeneous literal list by NTuple Tests #3975: Pull request #1503 opened by mohamed-barakat
November 23, 2023 14:26 13m 18s mohamed-barakat:Triple
mohamed-barakat:Triple
November 23, 2023 14:26 13m 18s
Tests Tests #3974: Scheduled
November 23, 2023 04:12 13m 2s master
master
November 23, 2023 04:12 13m 2s
Tests Tests #3973: Scheduled
November 22, 2023 04:13 12m 51s master
master
November 22, 2023 04:13 12m 51s
Tests Tests #3972: Scheduled
November 21, 2023 04:13 13m 0s master
master
November 21, 2023 04:13 13m 0s
Tests Tests #3971: Scheduled
November 20, 2023 04:13 12m 48s master
master
November 20, 2023 04:13 12m 48s
Tests Tests #3970: Scheduled
November 19, 2023 04:12 13m 27s master
master
November 19, 2023 04:12 13m 27s
Tests Tests #3969: Scheduled
November 18, 2023 04:12 12m 55s master
master
November 18, 2023 04:12 12m 55s
Tests Tests #3968: Scheduled
November 17, 2023 04:13 13m 17s master
master
November 17, 2023 04:13 13m 17s
Tests Tests #3967: Scheduled
November 16, 2023 04:13 12m 45s master
master
November 16, 2023 04:13 12m 45s
Tests Tests #3966: Scheduled
November 15, 2023 04:12 14m 24s master
master
November 15, 2023 04:12 14m 24s
Tests Tests #3965: Scheduled
November 14, 2023 04:12 18m 43s master
master
November 14, 2023 04:12 18m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.