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

pages build and deployment pages-build-deployment #1289: by github-pages bot
November 2, 2024 11:27 1m 46s
November 2, 2024 11:27 1m 46s
Replace operation_weights in CategoryConstructor by a better mechanism Tests #4916: Pull request #1678 synchronize by zickgraf
November 2, 2024 11:14 2h 9m 57s zickgraf:CategoryConstructor_weights
zickgraf:CategoryConstructor_weights
November 2, 2024 11:14 2h 9m 57s
Merge pull request #1708 from mohamed-barakat/AdditiveClosure Tests #4915: Commit e6b89d6 pushed by zickgraf
November 2, 2024 11:13 2h 10m 55s master
master
November 2, 2024 11:13 2h 10m 55s
Tests Tests #4914: Scheduled
November 2, 2024 04:11 18m 46s master
master
November 2, 2024 04:11 18m 46s
Tests Tests #4913: Scheduled
November 1, 2024 04:11 15m 47s master
master
November 1, 2024 04:11 15m 47s
fixed FreydCategoriesForCAP tests for Julia Tests #4912: Pull request #1708 opened by mohamed-barakat
October 31, 2024 08:54 59m 9s mohamed-barakat:AdditiveClosure
mohamed-barakat:AdditiveClosure
October 31, 2024 08:54 59m 9s
pages build and deployment pages-build-deployment #1288: by github-pages bot
October 31, 2024 08:34 38s
October 31, 2024 08:34 38s
Merge pull request #1706 from mohamed-barakat/DisplayString Tests #4911: Commit 5156f9d pushed by zickgraf
October 31, 2024 08:20 20m 41s master
master
October 31, 2024 08:20 20m 41s
Tests Tests #4910: Scheduled
October 31, 2024 04:12 15m 36s master
master
October 31, 2024 04:12 15m 36s
pages build and deployment pages-build-deployment #1287: by github-pages bot
October 30, 2024 16:32 36s
October 30, 2024 16:32 36s
converted Display -> DisplayString for AdditiveClosure Tests #4909: Pull request #1706 synchronize by mohamed-barakat
October 30, 2024 16:20 1h 59m 28s mohamed-barakat:DisplayString
mohamed-barakat:DisplayString
October 30, 2024 16:20 1h 59m 28s
Merge pull request #1707 from zickgraf/master Tests #4908: Commit a11065f pushed by zickgraf
October 30, 2024 16:18 1h 0m 25s master
master
October 30, 2024 16:18 1h 0m 25s
converted Display -> DisplayString for AdditiveClosure Tests #4907: Pull request #1706 synchronize by mohamed-barakat
October 30, 2024 12:12 1h 2m 42s mohamed-barakat:DisplayString
mohamed-barakat:DisplayString
October 30, 2024 12:12 1h 2m 42s
Avoid using the monoidal structure in CAP tests Tests #4906: Pull request #1707 opened by zickgraf
October 30, 2024 11:36 1h 54m 7s zickgraf:master
zickgraf:master
October 30, 2024 11:36 1h 54m 7s
Tests Tests #4905: Scheduled
October 30, 2024 04:17 15m 31s master
master
October 30, 2024 04:17 15m 31s
converted Display -> DisplayString for AdditiveClosure Tests #4904: Pull request #1706 reopened by zickgraf
October 29, 2024 16:26 45m 9s mohamed-barakat:DisplayString
mohamed-barakat:DisplayString
October 29, 2024 16:26 45m 9s
converted Display -> DisplayString for AdditiveClosure Tests #4903: Pull request #1706 opened by mohamed-barakat
October 29, 2024 14:17 1h 53m 50s mohamed-barakat:DisplayString
mohamed-barakat:DisplayString
October 29, 2024 14:17 1h 53m 50s
Tests Tests #4902: Scheduled
October 29, 2024 04:17 16m 9s master
master
October 29, 2024 04:17 16m 9s
Merge pull request #1705 from zickgraf/master Tests #4901: Commit 5604ca4 pushed by zickgraf
October 28, 2024 13:43 1h 26m 40s master
master
October 28, 2024 13:43 1h 26m 40s
Tests Tests #4900: Scheduled
October 28, 2024 04:17 15m 41s master
master
October 28, 2024 04:17 15m 41s
Tests Tests #4899: Scheduled
October 27, 2024 04:16 15m 29s master
master
October 27, 2024 04:16 15m 29s
Tests Tests #4898: Scheduled
October 26, 2024 04:16 15m 16s master
master
October 26, 2024 04:16 15m 16s
Remove CircleCI Tests #4897: Pull request #1705 opened by zickgraf
October 25, 2024 08:27 3h 24m 8s zickgraf:master
zickgraf:master
October 25, 2024 08:27 3h 24m 8s
Tests Tests #4896: Scheduled
October 25, 2024 04:18 14m 43s master
master
October 25, 2024 04:18 14m 43s
pages build and deployment pages-build-deployment #1286: by github-pages bot
October 24, 2024 08:38 37s
October 24, 2024 08:38 37s