Skip to content

Actions: homalg-project/FinGSetsForCAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
480 workflow runs
480 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 #9: completed by mohamed-barakat
1s
1s
Tests Tests #2155: Scheduled
8m 58s master
master
8m 58s
Codecov Codecov #8: completed by mohamed-barakat
12s
12s
pages build and deployment pages-build-deployment #21: by github-pages Bot
6m 33s gh-pages
gh-pages
6m 33s
Merge pull request #64 from kamalsaleh/master Tests #2154: Commit 12471ce pushed by mohamed-barakat
7m 32s master
master
7m 32s
Codecov Codecov #7: completed by kamalsaleh
14s
14s
Resolve PR number for Codecov workflow_run Tests #2153: Pull request #64 opened by kamalsaleh
6m 22s kamalsaleh:master
kamalsaleh:master
6m 22s
Codecov Codecov #6: completed by mohamed-barakat
1s
1s
Tests Tests #2152: Scheduled
6m 29s master
master
6m 29s
Codecov Codecov #5: completed by mohamed-barakat
1s
1s
Tests Tests #2151: Scheduled
8m 29s master
master
8m 29s
Codecov Codecov #4: completed by mohamed-barakat
1s
1s
Tests Tests #2150: Scheduled
10m 13s master
master
10m 13s
Codecov Codecov #3: completed by mohamed-barakat
14s
14s
pages build and deployment pages-build-deployment #20: by github-pages Bot
39s gh-pages
gh-pages
39s
Merge pull request #63 from mohamed-barakat/devel Tests #2149: Commit f691227 pushed by mohamed-barakat
6m 31s master
master
6m 31s
Codecov Codecov #2: completed by mohamed-barakat
14s
14s
bump version Tests #2148: Pull request #63 opened by mohamed-barakat
6m 38s mohamed-barakat:devel
mohamed-barakat:devel
6m 38s
Codecov Codecov #1: completed by mohamed-barakat
11s
11s
Merge pull request #62 from kamalsaleh/master Tests #2147: Commit c472d63 pushed by mohamed-barakat
6m 12s master
master
6m 12s
Apply PackageJanitor (Uploading codecov has it own workflow) Tests #2146: Pull request #62 opened by kamalsaleh
6m 21s kamalsaleh:master
kamalsaleh:master
6m 21s
pages build and deployment pages-build-deployment #19: by github-pages Bot
38s gh-pages
gh-pages
38s
Merge pull request #61 from mohamed-barakat/devel Tests #2145: Commit 980e14e pushed by mohamed-barakat
6m 34s master
master
6m 34s
comply with paper and simplify code Tests #2144: Pull request #61 synchronize by mohamed-barakat
31m 48s mohamed-barakat:devel
mohamed-barakat:devel
31m 48s
comply with paper and simplify code Tests #2143: Pull request #61 opened by mohamed-barakat
4m 45s mohamed-barakat:devel
mohamed-barakat:devel
4m 45s