Skip to content

Actions: homalg-project/CategoricalTowers

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #2365: Scheduled
October 21, 2024 04:18 1h 34m 59s master
master
October 21, 2024 04:18 1h 34m 59s
Tests Tests #2364: Scheduled
October 20, 2024 04:18 1h 34m 9s master
master
October 20, 2024 04:18 1h 34m 9s
pages build and deployment pages-build-deployment #1204: by github-pages bot
October 19, 2024 23:22 46s
October 19, 2024 23:22 46s
pages build and deployment pages-build-deployment #1203: by github-pages bot
October 19, 2024 23:14 45s
October 19, 2024 23:14 45s
pages build and deployment pages-build-deployment #1202: by github-pages bot
October 19, 2024 23:13 51s
October 19, 2024 23:13 51s
pages build and deployment pages-build-deployment #1201: by github-pages bot
October 19, 2024 23:10 40s
October 19, 2024 23:10 40s
pages build and deployment pages-build-deployment #1200: by github-pages bot
October 19, 2024 23:09 44s
October 19, 2024 23:09 44s
pages build and deployment pages-build-deployment #1199: by github-pages bot
October 19, 2024 23:07 47s
October 19, 2024 23:07 47s
pages build and deployment pages-build-deployment #1198: by github-pages bot
October 19, 2024 23:05 46s
October 19, 2024 23:05 46s
Merge pull request #596 from mohamed-barakat/Julia Tests #2363: Commit 0771779 pushed by mohamed-barakat
October 19, 2024 21:45 1h 55m 54s master
master
October 19, 2024 21:45 1h 55m 54s
switched to Julia 1.11.1 Tests #2362: Pull request #596 opened by mohamed-barakat
October 19, 2024 20:16 1h 24m 43s mohamed-barakat:Julia
mohamed-barakat:Julia
October 19, 2024 20:16 1h 24m 43s
Tests Tests #2361: Scheduled
October 19, 2024 04:17 1h 35m 45s master
master
October 19, 2024 04:17 1h 35m 45s
pages build and deployment pages-build-deployment #1197: by github-pages bot
October 18, 2024 14:16 43s
October 18, 2024 14:16 43s
pages build and deployment pages-build-deployment #1196: by github-pages bot
October 18, 2024 14:12 44s
October 18, 2024 14:12 44s
pages build and deployment pages-build-deployment #1195: by github-pages bot
October 18, 2024 14:09 52s
October 18, 2024 14:09 52s
Merge pull request #594 from mohamed-barakat/cleanup Tests #2360: Commit f5dbfca pushed by mohamed-barakat
October 18, 2024 12:40 2h 54m 56s master
master
October 18, 2024 12:40 2h 54m 56s
Tests Tests #2359: Scheduled
October 18, 2024 04:18 1h 36m 44s master
master
October 18, 2024 04:18 1h 36m 44s
pages build and deployment pages-build-deployment #1194: by github-pages bot
October 17, 2024 14:19 44s
October 17, 2024 14:19 44s
pages build and deployment pages-build-deployment #1193: by github-pages bot
October 17, 2024 14:11 47s
October 17, 2024 14:11 47s
pages build and deployment pages-build-deployment #1192: by github-pages bot
October 17, 2024 14:11 43s
October 17, 2024 14:11 43s
pages build and deployment pages-build-deployment #1191: by github-pages bot
October 17, 2024 14:08 47s
October 17, 2024 14:08 47s
pages build and deployment pages-build-deployment #1190: by github-pages bot
October 17, 2024 14:06 55s
October 17, 2024 14:06 55s
pages build and deployment pages-build-deployment #1189: by github-pages bot
October 17, 2024 14:05 50s
October 17, 2024 14:05 50s
pages build and deployment pages-build-deployment #1188: by github-pages bot
October 17, 2024 14:03 44s
October 17, 2024 14:03 44s
Clean up in several packages Tests #2358: Pull request #594 opened by mohamed-barakat
October 17, 2024 13:36 2h 58m 40s mohamed-barakat:cleanup
mohamed-barakat:cleanup
October 17, 2024 13:36 2h 58m 40s