Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1693 from zickgraf/master Tests #4821: Commit dd6f803 pushed by zickgraf
September 25, 2024 15:36 1h 51m 36s master
master
September 25, 2024 15:36 1h 51m 36s
Move computability check to the end of Finalize Tests #4820: Pull request #1693 opened by zickgraf
September 25, 2024 15:14 3h 15m 10s zickgraf:master
zickgraf:master
September 25, 2024 15:14 3h 15m 10s
Merge pull request #1692 from zickgraf/master Tests #4819: Commit 3dda0f0 pushed by zickgraf
September 25, 2024 10:19 2h 8m 47s master
master
September 25, 2024 10:19 2h 8m 47s
Move exception for thin categories to a different place Tests #4818: Pull request #1692 opened by zickgraf
September 25, 2024 10:01 1h 27m 7s zickgraf:master
zickgraf:master
September 25, 2024 10:01 1h 27m 7s
pages build and deployment pages-build-deployment #1263: by github-pages bot
September 25, 2024 09:53 37s
September 25, 2024 09:53 37s
pages build and deployment pages-build-deployment #1262: by github-pages bot
September 25, 2024 09:52 38s
September 25, 2024 09:52 38s
pages build and deployment pages-build-deployment #1261: by github-pages bot
September 25, 2024 09:52 16s
September 25, 2024 09:52 16s
Merge pull request #1691 from zickgraf/master Tests #4817: Commit 78bcddb pushed by zickgraf
September 25, 2024 09:40 4h 48m 9s master
master
September 25, 2024 09:40 4h 48m 9s
Defer triggering derivations until Finalize Tests #4816: Pull request #1691 synchronize by zickgraf
September 25, 2024 08:21 1h 7m 7s zickgraf:master
zickgraf:master
September 25, 2024 08:21 1h 7m 7s
Defer triggering derivations until Finalize Tests #4815: Pull request #1691 opened by zickgraf
September 25, 2024 08:16 4m 34s zickgraf:master
zickgraf:master
September 25, 2024 08:16 4m 34s
Tests Tests #4814: Scheduled
September 25, 2024 04:17 14m 50s master
master
September 25, 2024 04:17 14m 50s
pages build and deployment pages-build-deployment #1260: by github-pages bot
September 24, 2024 18:58 1m 32s
September 24, 2024 18:58 1m 32s
Merge pull request #1690 from zickgraf/master Tests #4813: Commit f1c2f91 pushed by zickgraf
September 24, 2024 18:45 41m 19s master
master
September 24, 2024 18:45 41m 19s
Avoid unnecessary trigger of derivations and do not rely on AddPrimitiveOperation when installing final derivations Tests #4812: Pull request #1690 synchronize by zickgraf
September 24, 2024 12:46 3h 40m 57s zickgraf:master
zickgraf:master
September 24, 2024 12:46 3h 40m 57s
Avoid unnecessary trigger of derivations and do not rely on AddPrimitiveOperation when installing final derivations Tests #4811: Pull request #1690 opened by zickgraf
September 24, 2024 08:11 11m 21s zickgraf:master
zickgraf:master
September 24, 2024 08:11 11m 21s
pages build and deployment pages-build-deployment #1259: by github-pages bot
September 24, 2024 07:49 53s
September 24, 2024 07:49 53s
pages build and deployment pages-build-deployment #1258: by github-pages bot
September 24, 2024 07:49 37s
September 24, 2024 07:49 37s
Merge pull request #1688 from zickgraf/master Tests #4810: Commit 4df2fc6 pushed by zickgraf
September 24, 2024 07:37 1h 49m 8s master
master
September 24, 2024 07:37 1h 49m 8s
Tests Tests #4809: Scheduled
September 24, 2024 04:16 14m 43s master
master
September 24, 2024 04:16 14m 43s
Added monoidal structure to AdditiveClosure Tests #4808: Pull request #1689 opened by damian-delafuente
September 23, 2024 15:15 11m 5s damian-delafuente:MonAdd
damian-delafuente:MonAdd
September 23, 2024 15:15 11m 5s
Improve names of attributes of derivations Tests #4807: Pull request #1688 synchronize by zickgraf
September 23, 2024 08:24 49m 40s zickgraf:master
zickgraf:master
September 23, 2024 08:24 49m 40s
Improve names of attributes of derivations Tests #4806: Pull request #1688 opened by zickgraf
September 23, 2024 08:23 1m 19s zickgraf:master
zickgraf:master
September 23, 2024 08:23 1m 19s
Tests Tests #4805: Scheduled
September 23, 2024 04:16 14m 45s master
master
September 23, 2024 04:16 14m 45s
Tests Tests #4804: Scheduled
September 22, 2024 04:17 14m 41s master
master
September 22, 2024 04:17 14m 41s
Tests Tests #4803: Scheduled
September 21, 2024 04:15 14m 31s master
master
September 21, 2024 04:15 14m 31s