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

pages build and deployment pages-build-deployment #957: by github-pages bot
November 30, 2023 16:13 55s gh-pages
gh-pages
November 30, 2023 16:13 55s
Merge pull request #1509 from zickgraf/master Tests #4005: Commit 37a67c6 pushed by zickgraf
November 30, 2023 16:02 14m 27s master
master
November 30, 2023 16:02 14m 27s
pages build and deployment pages-build-deployment #956: by github-pages bot
November 30, 2023 15:52 59s gh-pages
gh-pages
November 30, 2023 15:52 59s
Improve compilability of RingAsCategory Tests #4004: Pull request #1509 opened by zickgraf
November 30, 2023 15:43 13m 45s zickgraf:master
zickgraf:master
November 30, 2023 15:43 13m 45s
Merge pull request #1508 from zickgraf/master Tests #4003: Commit 4df36e8 pushed by zickgraf
November 30, 2023 15:41 13m 15s master
master
November 30, 2023 15:41 13m 15s
Introduce DummyRing, DummyCommutativeRing, and DummyField Tests #4002: Pull request #1508 opened by zickgraf
November 30, 2023 15:25 13m 3s zickgraf:master
zickgraf:master
November 30, 2023 15:25 13m 3s
pages build and deployment pages-build-deployment #955: by github-pages bot
November 30, 2023 13:59 48s gh-pages
gh-pages
November 30, 2023 13:59 48s
Merge pull request #1507 from zickgraf/master Tests #4001: Commit 798a29b pushed by zickgraf
November 30, 2023 13:48 13m 35s master
master
November 30, 2023 13:48 13m 35s
Adjust type signatures after fe889d7faa1022bcc1614216801c5e6121c74ead Tests #4000: Pull request #1507 opened by zickgraf
November 30, 2023 13:26 13m 52s zickgraf:master
zickgraf:master
November 30, 2023 13:26 13m 52s
pages build and deployment pages-build-deployment #954: by github-pages bot
November 30, 2023 11:53 45s gh-pages
gh-pages
November 30, 2023 11:53 45s
pages build and deployment pages-build-deployment #953: by github-pages bot
November 30, 2023 11:52 37s gh-pages
gh-pages
November 30, 2023 11:52 37s
pages build and deployment pages-build-deployment #952: by github-pages bot
November 30, 2023 11:52 32s gh-pages
gh-pages
November 30, 2023 11:52 32s
Merge pull request #1506 from zickgraf/master Tests #3999: Commit b753fd2 pushed by zickgraf
November 30, 2023 11:41 13m 24s master
master
November 30, 2023 11:41 13m 24s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.