Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated LinearAlgebraForCAP/gap/CompilerLogic.gi Tests #3921: Pull request #1424 synchronize by mohamed-barakat
October 17, 2023 14:45 21m 0s mohamed-barakat:prepare8
mohamed-barakat:prepare8
October 17, 2023 14:45 21m 0s
WithGivens for monoidal and (co)cartesian derivations Tests #3920: Pull request #1494 synchronize by TKuh
October 17, 2023 13:01 17m 57s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
October 17, 2023 13:01 17m 57s
WithGivens for monoidal and (co)cartesian derivations Tests #3919: Pull request #1494 synchronize by TKuh
October 17, 2023 11:43 20m 20s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
October 17, 2023 11:43 20m 20s
pages build and deployment pages-build-deployment #939: by github-pages bot
October 17, 2023 11:41 50s gh-pages
gh-pages
October 17, 2023 11:41 50s
pages build and deployment pages-build-deployment #938: by github-pages bot
October 17, 2023 11:39 54s gh-pages
gh-pages
October 17, 2023 11:39 54s
Merge pull request #1492 from TKuh/adjunction_with_given Tests #3918: Commit 91f0ae5 pushed by mohamed-barakat
October 17, 2023 11:26 19m 46s master
master
October 17, 2023 11:26 19m 46s
WithGivens for monoidal and (co)cartesian derivations Tests #3917: Pull request #1494 opened by TKuh
October 17, 2023 10:34 20m 18s TKuh:WithGivens_monoidal
TKuh:WithGivens_monoidal
October 17, 2023 10:34 20m 18s
Add derivation for *AdjunctionMapWithGivenTensorProduct Tests #3916: Pull request #1492 synchronize by TKuh
October 17, 2023 09:27 17m 21s TKuh:adjunction_with_given
TKuh:adjunction_with_given
October 17, 2023 09:27 17m 21s
Add derivation for *AdjunctionMapWithGivenTensorProduct Tests #3915: Pull request #1492 synchronize by TKuh
October 17, 2023 09:16 11m 42s TKuh:adjunction_with_given
TKuh:adjunction_with_given
October 17, 2023 09:16 11m 42s
Add derivation for *AdjunctionMapWithGivenTensorProduct Tests #3914: Pull request #1492 synchronize by TKuh
October 17, 2023 09:07 9m 3s TKuh:adjunction_with_given
TKuh:adjunction_with_given
October 17, 2023 09:07 9m 3s
Tests Tests #3913: Scheduled
October 17, 2023 04:12 21m 0s master
master
October 17, 2023 04:12 21m 0s
pages build and deployment pages-build-deployment #937: by github-pages bot
October 16, 2023 10:22 58s gh-pages
gh-pages
October 16, 2023 10:22 58s
Merge pull request #1493 from zickgraf/master Tests #3912: Commit add7ebd pushed by zickgraf
October 16, 2023 10:09 31m 10s master
master
October 16, 2023 10:09 31m 10s
Fix passing a type signature with a category as first argument to CapJitCompiledFunction Tests #3911: Pull request #1493 opened by zickgraf
October 16, 2023 08:28 15m 43s zickgraf:master
zickgraf:master
October 16, 2023 08:28 15m 43s
Tests Tests #3910: Scheduled
October 16, 2023 04:12 20m 22s master
master
October 16, 2023 04:12 20m 22s
Tests Tests #3909: Scheduled
October 15, 2023 04:11 19m 22s master
master
October 15, 2023 04:11 19m 22s
Tests Tests #3908: Scheduled
October 14, 2023 04:11 22m 5s master
master
October 14, 2023 04:11 22m 5s
Tests Tests #3907: Scheduled
October 13, 2023 04:12 21m 54s master
master
October 13, 2023 04:12 21m 54s
Add derivation for *AdjunctionMapWithGivenTensorProduct Tests #3906: Pull request #1492 synchronize by TKuh
October 12, 2023 16:27 24m 4s TKuh:adjunction_with_given
TKuh:adjunction_with_given
October 12, 2023 16:27 24m 4s
Add derivation for *AdjunctionMapWithGivenTensorProduct Tests #3905: Pull request #1492 opened by TKuh
October 12, 2023 14:49 17m 1s TKuh:adjunction_with_given
TKuh:adjunction_with_given
October 12, 2023 14:49 17m 1s
Tests Tests #3904: Scheduled
October 12, 2023 04:12 21m 21s master
master
October 12, 2023 04:12 21m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.