Skip to content

Actions: homalg-project/CategoricalTowers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,143 workflow runs
2,143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch to CapAndHomalg v1.6.1 Tests #2312: Pull request #586 opened by mohamed-barakat
September 29, 2024 09:41 1h 57m 50s mohamed-barakat:CapAndHomalg
mohamed-barakat:CapAndHomalg
September 29, 2024 09:41 1h 57m 50s
Tests Tests #2311: Scheduled
September 29, 2024 04:17 1h 40m 48s master
master
September 29, 2024 04:17 1h 40m 48s
Tests Tests #2310: Scheduled
September 28, 2024 04:17 1h 40m 19s master
master
September 28, 2024 04:17 1h 40m 19s
Tests Tests #2309: Scheduled
September 27, 2024 04:18 1h 40m 38s master
master
September 27, 2024 04:18 1h 40m 38s
pages build and deployment pages-build-deployment #1172: by github-pages bot
September 26, 2024 09:50 43s
September 26, 2024 09:50 43s
Merge pull request #585 from zickgraf/master Tests #2308: Commit f9caadd pushed by mohamed-barakat
September 26, 2024 08:21 6h 0m 10s master
master
September 26, 2024 08:21 6h 0m 10s
Tests Tests #2307: Scheduled
September 26, 2024 04:18 19m 16s master
master
September 26, 2024 04:18 19m 16s
Adjust to CAP 2024.09-25 Tests #2306: Pull request #585 synchronize by zickgraf
September 25, 2024 17:12 3h 15m 59s zickgraf:master
zickgraf:master
September 25, 2024 17:12 3h 15m 59s
Adjust to CAP 2024.09-25 Tests #2305: Pull request #585 synchronize by zickgraf
September 25, 2024 15:21 2h 2m 44s zickgraf:master
zickgraf:master
September 25, 2024 15:21 2h 2m 44s
Adjust to CAP 2024.09-25 Tests #2304: Pull request #585 opened by zickgraf
September 25, 2024 14:58 21m 18s zickgraf:master
zickgraf:master
September 25, 2024 14:58 21m 18s
Tests Tests #2303: Manually run by zickgraf
September 25, 2024 14:31 20m 13s master
master
September 25, 2024 14:31 20m 13s
Tests Tests #2302: Manually run by zickgraf
September 25, 2024 10:20 17m 40s master
master
September 25, 2024 10:20 17m 40s
Tests Tests #2301: Manually run by zickgraf
September 25, 2024 09:40 18m 27s master
master
September 25, 2024 09:40 18m 27s
Tests Tests #2300: Scheduled
September 25, 2024 04:18 1h 42m 47s master
master
September 25, 2024 04:18 1h 42m 47s
Tests Tests #2299: Manually run by zickgraf
September 24, 2024 18:46 2h 41m 2s master
master
September 24, 2024 18:46 2h 41m 2s
pages build and deployment pages-build-deployment #1171: by github-pages bot
September 24, 2024 09:10 44s
September 24, 2024 09:10 44s
pages build and deployment pages-build-deployment #1170: by github-pages bot
September 24, 2024 09:09 49s
September 24, 2024 09:09 49s
pages build and deployment pages-build-deployment #1169: by github-pages bot
September 24, 2024 09:08 38s
September 24, 2024 09:08 38s
pages build and deployment pages-build-deployment #1168: by github-pages bot
September 24, 2024 09:05 43s
September 24, 2024 09:05 43s
Merge pull request #584 from mohamed-barakat/CategoryFromNerveData Tests #2298: Commit 26623a8 pushed by mohamed-barakat
September 24, 2024 07:39 2h 47m 56s master
master
September 24, 2024 07:39 2h 47m 56s
Tests Tests #2297: Scheduled
September 24, 2024 04:18 1h 31m 19s master
master
September 24, 2024 04:18 1h 31m 19s
Several category constructors now use FinQuiver instead of RightQuiver Tests #2296: Pull request #584 synchronize by mohamed-barakat
September 23, 2024 21:17 3h 9m 0s mohamed-barakat:CategoryFromNerveData
mohamed-barakat:CategoryFromNerveData
September 23, 2024 21:17 3h 9m 0s
Tests Tests #2295: Scheduled
September 23, 2024 04:17 1h 33m 46s master
master
September 23, 2024 04:17 1h 33m 46s
Several category constructors now use FinQuiver instead of RightQuiver Tests #2294: Pull request #584 synchronize by mohamed-barakat
September 22, 2024 11:58 1h 16m 8s mohamed-barakat:CategoryFromNerveData
mohamed-barakat:CategoryFromNerveData
September 22, 2024 11:58 1h 16m 8s
Several category constructors now use FinQuiver instead of RightQuiver Tests #2293: Pull request #584 synchronize by mohamed-barakat
September 22, 2024 09:26 1h 57m 17s mohamed-barakat:CategoryFromNerveData
mohamed-barakat:CategoryFromNerveData
September 22, 2024 09:26 1h 57m 17s