Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4026: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:19 12m 58s zickgraf:master
zickgraf:master
December 4, 2023 10:19 12m 58s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4025: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:16 3m 6s zickgraf:master
zickgraf:master
December 4, 2023 10:16 3m 6s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4024: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:06 10m 43s zickgraf:master
zickgraf:master
December 4, 2023 10:06 10m 43s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4023: Pull request #1515 opened by zickgraf
December 4, 2023 10:04 1m 18s zickgraf:master
zickgraf:master
December 4, 2023 10:04 1m 18s
pages build and deployment pages-build-deployment #962: by github-pages bot
December 4, 2023 09:27 45s gh-pages
gh-pages
December 4, 2023 09:27 45s
pages build and deployment pages-build-deployment #961: by github-pages bot
December 4, 2023 09:26 31s gh-pages
gh-pages
December 4, 2023 09:26 31s
Merge pull request #1514 from zickgraf/master Tests #4022: Commit 387a0d9 pushed by zickgraf
December 4, 2023 09:15 13m 45s master
master
December 4, 2023 09:15 13m 45s
Introduce CAP_JIT_EXPR_CASE_WRAPPER which explicitly wraps functions for Julia Tests #4021: Pull request #1514 opened by zickgraf
December 4, 2023 08:46 13m 43s zickgraf:master
zickgraf:master
December 4, 2023 08:46 13m 43s
pages build and deployment pages-build-deployment #960: by github-pages bot
December 4, 2023 08:24 54s gh-pages
gh-pages
December 4, 2023 08:24 54s
Merge pull request #1513 from zickgraf/master Tests #4020: Commit 52bdd01 pushed by zickgraf
December 4, 2023 08:13 13m 49s master
master
December 4, 2023 08:13 13m 49s
Signal an error if a function in dst_template cannot be mapped to a *unique* function in src_template Tests #4019: Pull request #1513 opened by zickgraf
December 4, 2023 07:56 13m 5s zickgraf:master
zickgraf:master
December 4, 2023 07:56 13m 5s
Tests Tests #4018: Scheduled
December 4, 2023 04:13 12m 57s master
master
December 4, 2023 04:13 12m 57s
Tests Tests #4017: Scheduled
December 3, 2023 04:12 13m 21s master
master
December 3, 2023 04:12 13m 21s
Tests Tests #4016: Scheduled
December 2, 2023 04:12 13m 1s master
master
December 2, 2023 04:12 13m 1s
pages build and deployment pages-build-deployment #959: by github-pages bot
December 1, 2023 17:32 47s gh-pages
gh-pages
December 1, 2023 17:32 47s
Merge pull request #1512 from zickgraf/master Tests #4015: Commit b9f04a0 pushed by zickgraf
December 1, 2023 17:21 13m 33s master
master
December 1, 2023 17:21 13m 33s
Some improvements to AdditiveClosure Tests #4014: Pull request #1512 opened by zickgraf
December 1, 2023 16:53 20m 31s zickgraf:master
zickgraf:master
December 1, 2023 16:53 20m 31s
Introduce CapJitTypedExpression Tests #4013: Pull request #1234 synchronize by zickgraf
December 1, 2023 16:21 10m 29s zickgraf:CapJitTypedExpression
zickgraf:CapJitTypedExpression
December 1, 2023 16:21 10m 29s
Introduce AsCapCategoryObject and AsCapCategoryMorphism Tests #4012: Pull request #1511 synchronize by zickgraf
December 1, 2023 14:00 13m 34s zickgraf:AsCapCategoryObject
zickgraf:AsCapCategoryObject
December 1, 2023 14:00 13m 34s
Introduce AsCapCategoryObject and AsCapCategoryMorphism Tests #4011: Pull request #1511 synchronize by zickgraf
December 1, 2023 13:24 13m 32s zickgraf:AsCapCategoryObject
zickgraf:AsCapCategoryObject
December 1, 2023 13:24 13m 32s
Introduce AsCapCategoryObject and AsCapCategoryMorphism Tests #4010: Pull request #1511 synchronize by zickgraf
December 1, 2023 13:04 8m 16s zickgraf:AsCapCategoryObject
zickgraf:AsCapCategoryObject
December 1, 2023 13:04 8m 16s
Introduce AsCapCategoryObject and AsCapCategoryMorphism Tests #4009: Pull request #1511 opened by zickgraf
December 1, 2023 11:07 8m 2s zickgraf:AsCapCategoryObject
zickgraf:AsCapCategoryObject
December 1, 2023 11:07 8m 2s
Tests Tests #4008: Scheduled
December 1, 2023 04:13 13m 2s master
master
December 1, 2023 04:13 13m 2s
pages build and deployment pages-build-deployment #958: by github-pages bot
November 30, 2023 18:39 47s gh-pages
gh-pages
November 30, 2023 18:39 47s
Merge pull request #1510 from zickgraf/master Tests #4007: Commit 4b6736c pushed by zickgraf
November 30, 2023 18:29 14m 45s master
master
November 30, 2023 18:29 14m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.