Skip to content

Actions: homalg-project/CAP_project

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

pages build and deployment
pages-build-deployment #1270: by github-pages bot
October 4, 2024 07:28 39s
October 4, 2024 07:28 39s
pages build and deployment
pages-build-deployment #1269: by github-pages bot
October 4, 2024 07:26 46s
October 4, 2024 07:26 46s
pages build and deployment
pages-build-deployment #1268: by github-pages bot
October 4, 2024 07:26 31s
October 4, 2024 07:26 31s
pages build and deployment
pages-build-deployment #1267: by github-pages bot
October 4, 2024 07:26 15s
October 4, 2024 07:26 15s
Merge pull request #1695 from zickgraf/master
Tests #4840: Commit 1cc62b1 pushed by zickgraf
October 4, 2024 07:14 1h 42m 8s master
October 4, 2024 07:14 1h 42m 8s
Tests
Tests #4839: Scheduled
October 4, 2024 04:16 14m 34s master
October 4, 2024 04:16 14m 34s
Tests
Tests #4838: Scheduled
October 3, 2024 04:17 14m 49s master
October 3, 2024 04:17 14m 49s
Tests
Tests #4837: Scheduled
October 2, 2024 04:16 14m 54s master
October 2, 2024 04:16 14m 54s
Added monoidal structure to AdditiveClosure
Tests #4836: Pull request #1689 synchronize by damian-delafuente
October 1, 2024 09:25 23m 41s damian-delafuente:MonAdd
October 1, 2024 09:25 23m 41s
Added monoidal structure to AdditiveClosure
Tests #4835: Pull request #1689 synchronize by damian-delafuente
October 1, 2024 08:26 11m 45s damian-delafuente:MonAdd
October 1, 2024 08:26 11m 45s
Tests
Tests #4834: Scheduled
October 1, 2024 04:16 14m 52s master
October 1, 2024 04:16 14m 52s
Added monoidal structure to AdditiveClosure
Tests #4833: Pull request #1689 synchronize by damian-delafuente
September 30, 2024 15:24 2h 23m 1s damian-delafuente:MonAdd
September 30, 2024 15:24 2h 23m 1s
Added monoidal structure to AdditiveClosure
Tests #4832: Pull request #1689 synchronize by damian-delafuente
September 30, 2024 15:06 10m 17s damian-delafuente:MonAdd
September 30, 2024 15:06 10m 17s
Added monoidal structure to AdditiveClosure
Tests #4831: Pull request #1689 synchronize by damian-delafuente
September 30, 2024 11:27 48m 3s damian-delafuente:MonAdd
September 30, 2024 11:27 48m 3s
Tests
Tests #4829: Scheduled
September 30, 2024 04:17 14m 31s master
September 30, 2024 04:17 14m 31s
Tests
Tests #4828: Scheduled
September 29, 2024 04:16 14m 47s master
September 29, 2024 04:16 14m 47s
Tests
Tests #4827: Scheduled
September 28, 2024 04:15 18m 6s master
September 28, 2024 04:15 18m 6s
Tests
Tests #4826: Scheduled
September 27, 2024 04:16 14m 31s master
September 27, 2024 04:16 14m 31s
pages build and deployment
pages-build-deployment #1266: by github-pages bot
September 26, 2024 16:47 38s
September 26, 2024 16:47 38s
pages build and deployment
pages-build-deployment #1265: by github-pages bot
September 26, 2024 16:47 29s
September 26, 2024 16:47 29s
Further simplifications regarding the derivation mechanism
Tests #4825: Pull request #1695 opened by zickgraf
September 26, 2024 16:35 4h 55m 31s zickgraf:master
September 26, 2024 16:35 4h 55m 31s
Merge pull request #1694 from zickgraf/master
Tests #4824: Commit 6bbb7db pushed by zickgraf
September 26, 2024 16:35 3h 56m 8s master
September 26, 2024 16:35 3h 56m 8s
Simplify Finalize
Tests #4823: Pull request #1694 opened by zickgraf
September 26, 2024 08:43 3h 36m 41s zickgraf:master
September 26, 2024 08:43 3h 36m 41s
Tests
Tests #4822: Scheduled
September 26, 2024 04:16 14m 36s master
September 26, 2024 04:16 14m 36s
pages build and deployment
pages-build-deployment #1264: by github-pages bot
September 25, 2024 15:48 40s
September 25, 2024 15:48 40s