Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use RingFilter and RingElementFilter Tests #3998: Pull request #1506 opened by zickgraf
November 30, 2023 08:44 13m 7s zickgraf:master
zickgraf:master
November 30, 2023 08:44 13m 7s
Tests Tests #3997: Scheduled
November 30, 2023 04:13 12m 48s master
master
November 30, 2023 04:13 12m 48s
WithGivens for monoidal and (co)cartesian derivations Tests #3996: Pull request #1494 synchronize by TKuh
November 29, 2023 18:39 13m 20s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
November 29, 2023 18:39 13m 20s
WithGivens for monoidal and (co)cartesian derivations Tests #3995: Pull request #1494 synchronize by TKuh
November 29, 2023 17:52 10m 10s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
November 29, 2023 17:52 10m 10s
WithGivens for monoidal and (co)cartesian derivations Tests #3994: Pull request #1494 synchronize by TKuh
November 29, 2023 17:49 3m 35s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
November 29, 2023 17:49 3m 35s
Tests Tests #3993: Scheduled
November 29, 2023 04:13 25m 11s master
master
November 29, 2023 04:13 25m 11s
Tests Tests #3992: Scheduled
November 28, 2023 04:13 12m 47s master
master
November 28, 2023 04:13 12m 47s
pages build and deployment pages-build-deployment #951: by github-pages bot
November 27, 2023 12:29 45s gh-pages
gh-pages
November 27, 2023 12:29 45s
Merge pull request #1504 from mohamed-barakat/range_of_HomStructure Tests #3991: Commit 0d99008 pushed by zickgraf
November 27, 2023 12:18 13m 10s master
master
November 27, 2023 12:18 13m 10s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3990: Pull request #1504 synchronize by mohamed-barakat
November 27, 2023 11:21 13m 29s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 27, 2023 11:21 13m 29s
LinearClosure can now use a custom CategoryOfRows as range of HomStructure Tests #3989: Pull request #1504 synchronize by mohamed-barakat
November 27, 2023 10:18 13m 23s mohamed-barakat:range_of_HomStructure
mohamed-barakat:range_of_HomStructure
November 27, 2023 10:18 13m 23s
Tests Tests #3988: Scheduled
November 27, 2023 04:13 12m 48s master
master
November 27, 2023 04:13 12m 48s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-23 or the other filters available.