Skip to content

Actions: homalg-project/CAP_project

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,102 workflow runs
1,102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some improvements to AdditiveClosure
Tests #4014: Pull request #1512 opened by zickgraf
December 1, 2023 16:53 20m 31s zickgraf:master
December 1, 2023 16:53 20m 31s
Introduce CapJitTypedExpression
Tests #4013: Pull request #1234 synchronize by zickgraf
December 1, 2023 16:21 10m 29s zickgraf:CapJitTypedExpression
December 1, 2023 16:21 10m 29s
Tests
Tests #4008: Scheduled
December 1, 2023 04:13 13m 2s master
December 1, 2023 04:13 13m 2s
Merge pull request #1510 from zickgraf/master
Tests #4007: Commit 4b6736c pushed by zickgraf
November 30, 2023 18:29 14m 45s master
November 30, 2023 18:29 14m 45s
Comment dummy ring declarations for Julia
Tests #4006: Pull request #1510 opened by zickgraf
November 30, 2023 18:04 13m 34s zickgraf:master
November 30, 2023 18:04 13m 34s
Merge pull request #1509 from zickgraf/master
Tests #4005: Commit 37a67c6 pushed by zickgraf
November 30, 2023 16:02 14m 27s master
November 30, 2023 16:02 14m 27s
Improve compilability of RingAsCategory
Tests #4004: Pull request #1509 opened by zickgraf
November 30, 2023 15:43 13m 45s zickgraf:master
November 30, 2023 15:43 13m 45s
Merge pull request #1508 from zickgraf/master
Tests #4003: Commit 4df36e8 pushed by zickgraf
November 30, 2023 15:41 13m 15s master
November 30, 2023 15:41 13m 15s
Introduce DummyRing, DummyCommutativeRing, and DummyField
Tests #4002: Pull request #1508 opened by zickgraf
November 30, 2023 15:25 13m 3s zickgraf:master
November 30, 2023 15:25 13m 3s
Merge pull request #1507 from zickgraf/master
Tests #4001: Commit 798a29b pushed by zickgraf
November 30, 2023 13:48 13m 35s master
November 30, 2023 13:48 13m 35s
Adjust type signatures after fe889d7faa1022bcc1614216801c5e6121c74ead
Tests #4000: Pull request #1507 opened by zickgraf
November 30, 2023 13:26 13m 52s zickgraf:master
November 30, 2023 13:26 13m 52s
Merge pull request #1506 from zickgraf/master
Tests #3999: Commit b753fd2 pushed by zickgraf
November 30, 2023 11:41 13m 24s master
November 30, 2023 11:41 13m 24s
Use RingFilter and RingElementFilter
Tests #3998: Pull request #1506 opened by zickgraf
November 30, 2023 08:44 13m 7s zickgraf:master
November 30, 2023 08:44 13m 7s
Tests
Tests #3997: Scheduled
November 30, 2023 04:13 12m 48s master
November 30, 2023 04:13 12m 48s
WithGivens for monoidal and (co)cartesian derivations
Tests #3996: Pull request #1494 synchronize by TKuh
November 29, 2023 18:39 13m 20s TKuh:WithGivens_monoidal
November 29, 2023 18:39 13m 20s
WithGivens for monoidal and (co)cartesian derivations
Tests #3995: Pull request #1494 synchronize by TKuh
November 29, 2023 17:52 10m 10s TKuh:WithGivens_monoidal
November 29, 2023 17:52 10m 10s
WithGivens for monoidal and (co)cartesian derivations
Tests #3994: Pull request #1494 synchronize by TKuh
November 29, 2023 17:49 3m 35s TKuh:WithGivens_monoidal
November 29, 2023 17:49 3m 35s
Tests
Tests #3993: Scheduled
November 29, 2023 04:13 25m 11s master
November 29, 2023 04:13 25m 11s
Tests
Tests #3992: Scheduled
November 28, 2023 04:13 12m 47s master
November 28, 2023 04:13 12m 47s
Merge pull request #1504 from mohamed-barakat/range_of_HomStructure
Tests #3991: Commit 0d99008 pushed by zickgraf
November 27, 2023 12:18 13m 10s master
November 27, 2023 12:18 13m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.