Skip to content

Actions: homalg-project/CAP_project

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Tests.yml
47 workflow run results
47 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

derived ImageEmbedding as the colift along the coastriction to image Tests #3939: Pull request #1495 synchronize by mohamed-barakat
October 26, 2023 15:04 21m 51s mohamed-barakat:ImageEmbedding
mohamed-barakat:ImageEmbedding
October 26, 2023 15:04 21m 51s
Merge pull request #1497 from mohamed-barakat/newline Tests #3938: Commit 532a018 pushed by zickgraf
October 26, 2023 14:54 23m 1s master
master
October 26, 2023 14:54 23m 1s
print missing final newline in Display method for IsAdditiveClosureMorphism Tests #3937: Pull request #1497 opened by mohamed-barakat
October 26, 2023 14:34 17m 38s mohamed-barakat:newline
mohamed-barakat:newline
October 26, 2023 14:34 17m 38s
derived ImageEmbedding as the colift along the coastriction to image Tests #3936: Pull request #1495 synchronize by mohamed-barakat
October 26, 2023 10:25 20m 43s mohamed-barakat:ImageEmbedding
mohamed-barakat:ImageEmbedding
October 26, 2023 10:25 20m 43s
derived ImageEmbedding as the colift along the coastriction to image Tests #3935: Pull request #1495 synchronize by mohamed-barakat
October 26, 2023 09:51 17m 2s mohamed-barakat:ImageEmbedding
mohamed-barakat:ImageEmbedding
October 26, 2023 09:51 17m 2s
Tests Tests #3934: Scheduled
October 26, 2023 04:12 18m 11s master
master
October 26, 2023 04:12 18m 11s
Tests Tests #3933: Scheduled
October 25, 2023 04:12 17m 2s master
master
October 25, 2023 04:12 17m 2s
Tests Tests #3932: Scheduled
October 24, 2023 04:12 19m 47s master
master
October 24, 2023 04:12 19m 47s
Tests Tests #3931: Scheduled
October 23, 2023 04:12 16m 40s master
master
October 23, 2023 04:12 16m 40s
Tests Tests #3930: Scheduled
October 22, 2023 04:11 16m 15s master
master
October 22, 2023 04:11 16m 15s
Tests Tests #3929: Scheduled
October 21, 2023 04:11 19m 50s master
master
October 21, 2023 04:11 19m 50s
Tests Tests #3928: Scheduled
October 20, 2023 04:12 22m 25s master
master
October 20, 2023 04:12 22m 25s
derived ImageEmbedding as the colift along the coastriction to image Tests #3927: Pull request #1495 synchronize by mohamed-barakat
October 19, 2023 22:45 20m 24s mohamed-barakat:ImageEmbedding
mohamed-barakat:ImageEmbedding
October 19, 2023 22:45 20m 24s
Merge pull request #1496 from TKuh/bump_versions Tests #3926: Commit 993058f pushed by mohamed-barakat
October 19, 2023 22:24 17m 52s master
master
October 19, 2023 22:24 17m 52s
Bump versions and dependencies Tests #3925: Pull request #1496 opened by TKuh
October 19, 2023 21:58 21m 44s TKuh:bump_versions
TKuh:bump_versions
October 19, 2023 21:58 21m 44s
Tests Tests #3924: Scheduled
October 19, 2023 04:12 17m 15s master
master
October 19, 2023 04:12 17m 15s
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
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