Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
989 workflow runs
989 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Codecov Codecov #87: completed by mohamed-barakat
1s
1s
Tests Tests #5865: Scheduled
28m 7s master
master
28m 7s
Codecov Codecov #86: completed by mohamed-barakat
1s
1s
Tests Tests #5864: Scheduled
27m 45s master
master
27m 45s
Codecov Codecov #85: completed by mohamed-barakat
2s
2s
Tests Tests #5863: Scheduled
34m 7s master
master
34m 7s
Codecov Codecov #84: completed by mohamed-barakat
49s
49s
pages build and deployment pages-build-deployment #1520: by github-pages Bot
37s gh-pages
gh-pages
37s
Merge pull request #1840 from mohamed-barakat/devel Tests #5862: Commit 244e9f8 pushed by mohamed-barakat
33m 28s master
master
33m 28s
Codecov Codecov #83: completed by mohamed-barakat
35s
35s
bump dependancy on MonoidalCategories Tests #5861: Pull request #1840 opened by mohamed-barakat
37m 19s mohamed-barakat:devel
mohamed-barakat:devel
37m 19s
Codecov Codecov #82: completed by TKuh
34s
34s
Add multiplicity versions of distributivity morphisms Tests #5860: Pull request #1836 synchronize by TKuh
23m 2s TKuh:monoidal_distributivity_multiplicity
TKuh:monoidal_distributivity_multiplicity
23m 2s
Codecov Codecov #81: completed by mohamed-barakat
53s
53s
pages build and deployment pages-build-deployment #1519: by github-pages Bot
43s gh-pages
gh-pages
43s
pages build and deployment pages-build-deployment #1518: by github-pages Bot
36s gh-pages
gh-pages
36s
Merge pull request #1834 from TKuh/distributivity_WithGiven Tests #5859: Commit 533d9a1 pushed by mohamed-barakat
22m 27s master
master
22m 27s
Codecov Codecov #80: completed by TKuh
1s
1s
Add multiplicity versions of distributivity morphisms Tests #5858: Pull request #1836 synchronize by TKuh
23m 7s TKuh:monoidal_distributivity_multiplicity
TKuh:monoidal_distributivity_multiplicity
23m 7s
Codecov Codecov #79: completed by mohamed-barakat
2s
2s
Tests Tests #5857: Scheduled
33m 3s master
master
33m 3s
Codecov Codecov #78: completed by TKuh
35s
35s
Use WithGiven* in derivations of distributivity morphisms Tests #5856: Pull request #1834 synchronize by TKuh
23m 5s TKuh:distributivity_WithGiven
TKuh:distributivity_WithGiven
23m 5s
Codecov Codecov #77: completed by mohamed-barakat
1s
1s
Tests Tests #5855: Scheduled
33m 21s master
master
33m 21s