Skip to content

Actions: homalg-project/CAP_project

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,842 workflow runs
1,842 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests
Tests #4929: Scheduled
November 15, 2024 04:12 15m 8s master
November 15, 2024 04:12 15m 8s
Tests
Tests #4928: Scheduled
November 14, 2024 04:11 16m 2s master
November 14, 2024 04:11 16m 2s
Tests
Tests #4927: Scheduled
November 13, 2024 04:12 15m 52s master
November 13, 2024 04:12 15m 52s
Tests
Tests #4926: Scheduled
November 12, 2024 04:11 15m 47s master
November 12, 2024 04:11 15m 47s
Tests
Tests #4925: Scheduled
November 11, 2024 04:11 15m 59s master
November 11, 2024 04:11 15m 59s
Tests
Tests #4924: Scheduled
November 10, 2024 04:10 15m 52s master
November 10, 2024 04:10 15m 52s
Tests
Tests #4923: Scheduled
November 9, 2024 04:11 15m 5s master
November 9, 2024 04:11 15m 5s
Tests
Tests #4922: Scheduled
November 8, 2024 04:11 15m 31s master
November 8, 2024 04:11 15m 31s
Tests
Tests #4921: Scheduled
November 7, 2024 04:11 15m 0s master
November 7, 2024 04:11 15m 0s
Tests
Tests #4920: Scheduled
November 6, 2024 04:12 14m 37s master
November 6, 2024 04:12 14m 37s
Tests
Tests #4919: Scheduled
November 5, 2024 04:11 15m 49s master
November 5, 2024 04:11 15m 49s
Tests
Tests #4918: Scheduled
November 4, 2024 04:12 15m 31s master
November 4, 2024 04:12 15m 31s
Tests
Tests #4917: Scheduled
November 3, 2024 04:11 42m 29s master
November 3, 2024 04:11 42m 29s
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
Merge pull request #1708 from mohamed-barakat/AdditiveClosure
Tests #4915: Commit e6b89d6 pushed by zickgraf
November 2, 2024 11:13 2h 10m 55s master
November 2, 2024 11:13 2h 10m 55s
Tests
Tests #4914: Scheduled
November 2, 2024 04:11 18m 46s master
November 2, 2024 04:11 18m 46s
Tests
Tests #4913: Scheduled
November 1, 2024 04:11 15m 47s master
November 1, 2024 04:11 15m 47s
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
October 31, 2024 08:20 20m 41s
Tests
Tests #4910: Scheduled
October 31, 2024 04:12 15m 36s 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
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
October 30, 2024 16:18 1h 0m 25s