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

Tests Tests #3942: Scheduled
October 29, 2023 04:11 20m 27s master
master
October 29, 2023 04:11 20m 27s
Tests Tests #3941: Scheduled
October 28, 2023 04:12 19m 9s master
master
October 28, 2023 04:12 19m 9s
Tests Tests #3940: Scheduled
October 27, 2023 04:12 18m 34s master
master
October 27, 2023 04:12 18m 34s
pages build and deployment pages-build-deployment #943: by github-pages bot
October 26, 2023 15:14 57s gh-pages
gh-pages
October 26, 2023 15:14 57s
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
pages build and deployment pages-build-deployment #942: by github-pages bot
October 19, 2023 22:41 53s gh-pages
gh-pages
October 19, 2023 22:41 53s
pages build and deployment pages-build-deployment #941: by github-pages bot
October 19, 2023 22:39 58s gh-pages
gh-pages
October 19, 2023 22:39 58s
pages build and deployment pages-build-deployment #940: by github-pages bot
October 19, 2023 22:38 54s gh-pages
gh-pages
October 19, 2023 22:38 54s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.