Skip to content

Actions: homalg-project/CAP_project

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,102 workflow runs
1,102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deduplicate code for handling ordinary and final derivations
Tests #4865: Pull request #1699 synchronize by zickgraf
October 10, 2024 08:47 1h 37m 20s zickgraf:master
October 10, 2024 08:47 1h 37m 20s
Merge pull request #1689 from damian-delafuente/MonAdd
Tests #4864: Commit 83c5d5a pushed by zickgraf
October 10, 2024 08:35 38m 23s master
October 10, 2024 08:35 38m 23s
Tests
Tests #4863: Scheduled
October 10, 2024 04:16 15m 28s master
October 10, 2024 04:16 15m 28s
Added monoidal structure to AdditiveClosure
Tests #4862: Pull request #1689 synchronize by damian-delafuente
October 9, 2024 14:35 1h 37m 21s damian-delafuente:MonAdd
October 9, 2024 14:35 1h 37m 21s
Added monoidal structure to AdditiveClosure
Tests #4861: Pull request #1689 synchronize by damian-delafuente
October 9, 2024 11:19 53m 45s damian-delafuente:MonAdd
October 9, 2024 11:19 53m 45s
Added monoidal structure to AdditiveClosure
Tests #4860: Pull request #1689 synchronize by damian-delafuente
October 9, 2024 11:08 11m 13s damian-delafuente:MonAdd
October 9, 2024 11:08 11m 13s
Deduplicate code for handling ordinary and final derivations
Tests #4859: Pull request #1699 opened by zickgraf
October 9, 2024 09:42 3h 52m 42s zickgraf:master
October 9, 2024 09:42 3h 52m 42s
Merge pull request #1698 from zickgraf/master
Tests #4858: Commit 0cfc327 pushed by zickgraf
October 9, 2024 09:40 4h 52m 54s master
October 9, 2024 09:40 4h 52m 54s
Use new operation info at more places
Tests #4857: Pull request #1698 synchronize by zickgraf
October 9, 2024 09:37 6h 0m 19s zickgraf:master
October 9, 2024 09:37 6h 0m 19s
Use new operation info at more places
Tests #4856: Pull request #1698 synchronize by zickgraf
October 9, 2024 09:36 56s zickgraf:master
October 9, 2024 09:36 56s
Tests
Tests #4855: Scheduled
October 9, 2024 04:16 14m 46s master
October 9, 2024 04:16 14m 46s
Use new operation info at more places
Tests #4851: Pull request #1698 opened by zickgraf
October 8, 2024 10:06 42m 32s 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
October 8, 2024 10:04 1h 57m 55s
Tests
Tests #4849: Scheduled
October 8, 2024 04:16 14m 41s master
October 8, 2024 04:16 14m 41s
Merge pull request #1696 from zickgraf/master
Tests #4847: Commit 18a3d2a pushed by zickgraf
October 7, 2024 09:13 31m 55s 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
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
October 7, 2024 07:27 11m 1s
Tests
Tests #4844: Scheduled
October 7, 2024 04:17 14m 48s master
October 7, 2024 04:17 14m 48s
Tests
Tests #4843: Scheduled
October 6, 2024 04:16 14m 36s master
October 6, 2024 04:16 14m 36s
Tests
Tests #4842: Scheduled
October 5, 2024 04:16 15m 4s 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
October 4, 2024 14:25 10m 55s