Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #3923: Scheduled
October 18, 2023 04:12 16m 29s master
master
October 18, 2023 04:12 16m 29s
derived ImageEmbedding as the colift along the coastriction to image Tests #3922: Pull request #1495 opened by mohamed-barakat
October 17, 2023 16:45 17m 27s mohamed-barakat:ImageEmbedding
mohamed-barakat:ImageEmbedding
October 17, 2023 16:45 17m 27s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.