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 #3964: Scheduled
November 13, 2023 04:12 19m 14s master
master
November 13, 2023 04:12 19m 14s
Tests Tests #3963: Scheduled
November 12, 2023 04:12 12m 44s master
master
November 12, 2023 04:12 12m 44s
Tests Tests #3962: Scheduled
November 11, 2023 04:12 12m 56s master
master
November 11, 2023 04:12 12m 56s
Tests Tests #3961: Scheduled
November 10, 2023 04:12 22m 4s master
master
November 10, 2023 04:12 22m 4s
Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C Tests #3960: Pull request #1501 synchronize by zickgraf
November 9, 2023 15:19 3m 31s zickgraf:rigid_implies_closed
zickgraf:rigid_implies_closed
November 9, 2023 15:19 3m 31s
Tests Tests #3959: Scheduled
November 9, 2023 04:12 14m 59s master
master
November 9, 2023 04:12 14m 59s
Tests Tests #3958: Scheduled
November 8, 2023 04:12 12m 59s master
master
November 8, 2023 04:12 12m 59s
Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C Tests #3957: Pull request #1501 synchronize by zickgraf
November 7, 2023 14:33 4m 34s zickgraf:rigid_implies_closed
zickgraf:rigid_implies_closed
November 7, 2023 14:33 4m 34s
Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C Tests #3956: Pull request #1501 opened by zickgraf
November 7, 2023 14:32 1m 42s zickgraf:rigid_implies_closed
zickgraf:rigid_implies_closed
November 7, 2023 14:32 1m 42s
Tests Tests #3955: Scheduled
November 7, 2023 04:12 21m 19s master
master
November 7, 2023 04:12 21m 19s
Tests Tests #3954: Scheduled
November 6, 2023 04:12 12m 47s master
master
November 6, 2023 04:12 12m 47s
pages build and deployment pages-build-deployment #948: by github-pages bot
November 5, 2023 16:40 49s gh-pages
gh-pages
November 5, 2023 16:40 49s
pages build and deployment pages-build-deployment #947: by github-pages bot
November 5, 2023 16:40 28s gh-pages
gh-pages
November 5, 2023 16:40 28s
pages build and deployment pages-build-deployment #946: by github-pages bot
November 5, 2023 16:38 44s gh-pages
gh-pages
November 5, 2023 16:38 44s
Merge pull request #1500 from mohamed-barakat/Adjunction Tests #3953: Commit 31d981c pushed by mohamed-barakat
November 5, 2023 16:24 17m 18s master
master
November 5, 2023 16:24 17m 18s
pages build and deployment pages-build-deployment #945: by github-pages bot
November 5, 2023 16:02 44s gh-pages
gh-pages
November 5, 2023 16:02 44s
pages build and deployment pages-build-deployment #944: by github-pages bot
November 5, 2023 15:59 51s gh-pages
gh-pages
November 5, 2023 15:59 51s
added output_range/source_getter_string for the various adjunctions Tests #3952: Pull request #1500 opened by mohamed-barakat
November 5, 2023 15:49 17m 24s mohamed-barakat:Adjunction
mohamed-barakat:Adjunction
November 5, 2023 15:49 17m 24s
Merge pull request #1499 from mohamed-barakat/return_type Tests #3951: Commit 87c5cc8 pushed by mohamed-barakat
November 5, 2023 15:46 16m 28s master
master
November 5, 2023 15:46 16m 28s
relocated code for better readability Tests #3950: Pull request #1499 opened by mohamed-barakat
November 5, 2023 15:25 15m 34s mohamed-barakat:return_type
mohamed-barakat:return_type
November 5, 2023 15:25 15m 34s
Tests Tests #3949: Scheduled
November 5, 2023 04:12 19m 29s master
master
November 5, 2023 04:12 19m 29s
Tests Tests #3948: Scheduled
November 4, 2023 04:12 22m 13s master
master
November 4, 2023 04:12 22m 13s
Tests Tests #3947: Scheduled
November 3, 2023 04:12 23m 0s master
master
November 3, 2023 04:12 23m 0s
Tests Tests #3946: Scheduled
November 2, 2023 04:12 19m 20s master
master
November 2, 2023 04:12 19m 20s
Tests Tests #3945: Scheduled
November 1, 2023 04:12 19m 2s master
master
November 1, 2023 04:12 19m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.