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

pages build and deployment pages-build-deployment #1160: by github-pages bot
September 13, 2024 15:13 38s
September 13, 2024 15:13 38s
pages build and deployment pages-build-deployment #1159: by github-pages bot
September 13, 2024 15:04 42s
September 13, 2024 15:04 42s
Merge pull request #579 from zickgraf/master Tests #2274: Commit fd43462 pushed by mohamed-barakat
September 13, 2024 13:35 2h 25m 13s master
master
September 13, 2024 13:35 2h 25m 13s
Adjust to CAP 2024.08-08 Tests #2273: Pull request #579 opened by zickgraf
September 13, 2024 06:47 2h 11m 54s zickgraf:master
zickgraf:master
September 13, 2024 06:47 2h 11m 54s
Tests Tests #2272: Scheduled
September 13, 2024 04:17 1h 47m 9s master
master
September 13, 2024 04:17 1h 47m 9s
pages build and deployment pages-build-deployment #1158: by github-pages bot
September 12, 2024 21:52 44s
September 12, 2024 21:52 44s
pages build and deployment pages-build-deployment #1157: by github-pages bot
September 12, 2024 21:51 42s
September 12, 2024 21:51 42s
pages build and deployment pages-build-deployment #1156: by github-pages bot
September 12, 2024 21:45 46s
September 12, 2024 21:45 46s
pages build and deployment pages-build-deployment #1155: by github-pages bot
September 12, 2024 21:40 38s
September 12, 2024 21:40 38s
pages build and deployment pages-build-deployment #1154: by github-pages bot
September 12, 2024 21:40 45s
September 12, 2024 21:40 45s
Merge pull request #578 from zickgraf/master Tests #2271: Commit b3b4319 pushed by mohamed-barakat
September 12, 2024 20:08 1h 49m 41s master
master
September 12, 2024 20:08 1h 49m 41s
Adjust to CAP 2024.09-12 Tests #2270: Pull request #578 opened by zickgraf
September 12, 2024 15:15 1h 42m 12s zickgraf:master
zickgraf:master
September 12, 2024 15:15 1h 42m 12s
Tests Tests #2269: Manually run by zickgraf
September 12, 2024 10:36 3h 20m 27s master
master
September 12, 2024 10:36 3h 20m 27s
Tests Tests #2268: Scheduled
September 12, 2024 04:18 1h 46m 11s master
master
September 12, 2024 04:18 1h 46m 11s
pages build and deployment pages-build-deployment #1153: by github-pages bot
September 11, 2024 20:39 41s
September 11, 2024 20:39 41s
pages build and deployment pages-build-deployment #1152: by github-pages bot
September 11, 2024 20:38 36s
September 11, 2024 20:38 36s
pages build and deployment pages-build-deployment #1151: by github-pages bot
September 11, 2024 20:32 45s
September 11, 2024 20:32 45s
pages build and deployment pages-build-deployment #1150: by github-pages bot
September 11, 2024 20:27 43s
September 11, 2024 20:27 43s
pages build and deployment pages-build-deployment #1149: by github-pages bot
September 11, 2024 20:26 47s
September 11, 2024 20:26 47s
Merge pull request #577 from zickgraf/master Tests #2267: Commit 6ab87f7 pushed by mohamed-barakat
September 11, 2024 18:54 2h 2m 6s master
master
September 11, 2024 18:54 2h 2m 6s
Tests Tests #2266: Scheduled
September 11, 2024 04:19 4h 35m 27s master
master
September 11, 2024 04:19 4h 35m 27s
Adjust to CAP 2024.09-08 Tests #2265: Pull request #577 opened by zickgraf
September 10, 2024 16:05 2h 24m 56s zickgraf:master
zickgraf:master
September 10, 2024 16:05 2h 24m 56s
Tests Tests #2264: Scheduled
September 10, 2024 04:17 1h 44m 28s master
master
September 10, 2024 04:17 1h 44m 28s
pages build and deployment pages-build-deployment #1148: by github-pages bot
September 9, 2024 10:43 42s
September 9, 2024 10:43 42s
pages build and deployment pages-build-deployment #1147: by github-pages bot
September 9, 2024 10:38 48s
September 9, 2024 10:38 48s