Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use new operation info at more places Tests #4856: Pull request #1698 synchronize by zickgraf
October 9, 2024 09:36 56s zickgraf:master
zickgraf:master
October 9, 2024 09:36 56s
Tests Tests #4855: Scheduled
October 9, 2024 04:16 14m 46s master
master
October 9, 2024 04:16 14m 46s
Replace operation_weights in CategoryConstructor by a better mechanism Tests #4854: Pull request #1678 synchronize by zickgraf
October 8, 2024 13:01 2h 9m 59s zickgraf:CategoryConstructor_weights
zickgraf:CategoryConstructor_weights
October 8, 2024 13:01 2h 9m 59s
Replace operation_weights in CategoryConstructor by a better mechanism Tests #4853: Pull request #1678 synchronize by zickgraf
October 8, 2024 12:56 5m 7s zickgraf:CategoryConstructor_weights
zickgraf:CategoryConstructor_weights
October 8, 2024 12:56 5m 7s
Replace operation_weights in CategoryConstructor by a better mechanism Tests #4852: Pull request #1678 synchronize by zickgraf
October 8, 2024 12:37 10m 58s zickgraf:CategoryConstructor_weights
zickgraf:CategoryConstructor_weights
October 8, 2024 12:37 10m 58s
pages build and deployment pages-build-deployment #1274: by github-pages bot
October 8, 2024 10:16 40s
October 8, 2024 10:16 40s
pages build and deployment pages-build-deployment #1273: by github-pages bot
October 8, 2024 10:16 29s
October 8, 2024 10:16 29s
Use new operation info at more places Tests #4851: Pull request #1698 opened by zickgraf
October 8, 2024 10:06 42m 32s zickgraf:master
zickgraf:master
October 8, 2024 10:06 42m 32s
Merge pull request #1697 from zickgraf/master Tests #4850: Commit 25a6f92 pushed by zickgraf
October 8, 2024 10:04 1h 57m 55s master
master
October 8, 2024 10:04 1h 57m 55s
Tests Tests #4849: Scheduled
October 8, 2024 04:16 14m 41s master
master
October 8, 2024 04:16 14m 41s
Simplify DerivationsOfMethodByCategory and create operation weight list right before triggering derivations Tests #4848: Pull request #1697 opened by zickgraf
October 7, 2024 12:52 2h 26m 49s zickgraf:master
zickgraf:master
October 7, 2024 12:52 2h 26m 49s
pages build and deployment pages-build-deployment #1272: by github-pages bot
October 7, 2024 09:26 38s
October 7, 2024 09:26 38s
pages build and deployment pages-build-deployment #1271: by github-pages bot
October 7, 2024 09:26 34s
October 7, 2024 09:26 34s
Merge pull request #1696 from zickgraf/master Tests #4847: Commit 18a3d2a pushed by zickgraf
October 7, 2024 09:13 31m 55s master
master
October 7, 2024 09:13 31m 55s
Better keep track of the type of operations added to a category Tests #4846: Pull request #1696 synchronize by zickgraf
October 7, 2024 07:41 1h 28m 38s zickgraf:master
zickgraf:master
October 7, 2024 07:41 1h 28m 38s
Better keep track of the type of operations added to a category Tests #4845: Pull request #1696 synchronize by zickgraf
October 7, 2024 07:27 11m 1s zickgraf:master
zickgraf:master
October 7, 2024 07:27 11m 1s
Tests Tests #4844: Scheduled
October 7, 2024 04:17 14m 48s master
master
October 7, 2024 04:17 14m 48s
Tests Tests #4843: Scheduled
October 6, 2024 04:16 14m 36s master
master
October 6, 2024 04:16 14m 36s
Tests Tests #4842: Scheduled
October 5, 2024 04:16 15m 4s master
master
October 5, 2024 04:16 15m 4s
Better keep track of the type of operations added to a category Tests #4841: Pull request #1696 opened by zickgraf
October 4, 2024 14:25 10m 55s zickgraf:master
zickgraf:master
October 4, 2024 14:25 10m 55s
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 4h 58m 8s master
master
October 4, 2024 07:14 4h 58m 8s