Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1421 from mohamed-barakat/prepare5 Tests #3659: Commit 8b76eff pushed by mohamed-barakat
August 15, 2023 11:42 24m 57s master
master
August 15, 2023 11:42 24m 57s
used given source/range when possible and got rid of obsolete local variables Tests #3658: Pull request #1421 opened by mohamed-barakat
August 15, 2023 10:54 16m 4s mohamed-barakat:prepare5
mohamed-barakat:prepare5
August 15, 2023 10:54 16m 4s
pages build and deployment pages-build-deployment #843: by github-pages bot
August 15, 2023 07:16 58s
August 15, 2023 07:16 58s
pages build and deployment pages-build-deployment #842: by github-pages bot
August 15, 2023 07:14 50s
August 15, 2023 07:14 50s
Merge pull request #1420 from mohamed-barakat/prepare4 Tests #3657: Commit 7563d9e pushed by mohamed-barakat
August 15, 2023 07:01 17m 0s master
master
August 15, 2023 07:01 17m 0s
Tests Tests #3656: Scheduled
August 15, 2023 04:11 18m 18s master
master
August 15, 2023 04:11 18m 18s
sorted local variables Tests #3655: Pull request #1420 opened by mohamed-barakat
August 15, 2023 02:20 23m 13s mohamed-barakat:prepare4
mohamed-barakat:prepare4
August 15, 2023 02:20 23m 13s
pages build and deployment pages-build-deployment #841: by github-pages bot
August 15, 2023 01:46 47s
August 15, 2023 01:46 47s
pages build and deployment pages-build-deployment #840: by github-pages bot
August 15, 2023 01:43 51s
August 15, 2023 01:43 51s
Merge pull request #1419 from mohamed-barakat/prepare3 Tests #3654: Commit af4e5f0 pushed by mohamed-barakat
August 15, 2023 01:28 18m 33s master
master
August 15, 2023 01:28 18m 33s
pages build and deployment pages-build-deployment #839: by github-pages bot
August 15, 2023 01:09 57s
August 15, 2023 01:09 57s
pages build and deployment pages-build-deployment #838: by github-pages bot
August 15, 2023 01:07 49s
August 15, 2023 01:07 49s
got rid of local variables only used once Tests #3653: Pull request #1419 opened by mohamed-barakat
August 15, 2023 00:54 29m 54s mohamed-barakat:prepare3
mohamed-barakat:prepare3
August 15, 2023 00:54 29m 54s
Merge pull request #1418 from mohamed-barakat/prepare2 Tests #3652: Commit 7b5f1a1 pushed by mohamed-barakat
August 15, 2023 00:52 21m 6s master
master
August 15, 2023 00:52 21m 6s
coding style (only includes whitespace changes) Tests #3651: Pull request #1418 synchronize by mohamed-barakat
August 15, 2023 00:18 22m 39s mohamed-barakat:prepare2
mohamed-barakat:prepare2
August 15, 2023 00:18 22m 39s
coding style (only includes whitespace changes) Tests #3650: Pull request #1418 synchronize by mohamed-barakat
August 15, 2023 00:16 1m 54s mohamed-barakat:prepare2
mohamed-barakat:prepare2
August 15, 2023 00:16 1m 54s
coding style (only includes whitespace changes) Tests #3649: Pull request #1418 opened by mohamed-barakat
August 15, 2023 00:02 14m 8s mohamed-barakat:prepare2
mohamed-barakat:prepare2
August 15, 2023 00:02 14m 8s
pages build and deployment pages-build-deployment #837: by github-pages bot
August 14, 2023 22:53 52s
August 14, 2023 22:53 52s
pages build and deployment pages-build-deployment #836: by github-pages bot
August 14, 2023 22:51 57s
August 14, 2023 22:51 57s
Merge pull request #1417 from mohamed-barakat/prepare1 Tests #3648: Commit 1837e51 pushed by mohamed-barakat
August 14, 2023 22:35 24m 12s master
master
August 14, 2023 22:35 24m 12s
whitespaces Tests #3647: Pull request #1417 synchronize by mohamed-barakat
August 14, 2023 22:03 23m 31s mohamed-barakat:prepare1
mohamed-barakat:prepare1
August 14, 2023 22:03 23m 31s
whitespaces Tests #3646: Pull request #1417 synchronize by mohamed-barakat
August 14, 2023 22:02 45s mohamed-barakat:prepare1
mohamed-barakat:prepare1
August 14, 2023 22:02 45s
whitespaces Tests #3645: Pull request #1417 synchronize by mohamed-barakat
August 14, 2023 21:57 5m 11s mohamed-barakat:prepare1
mohamed-barakat:prepare1
August 14, 2023 21:57 5m 11s
whitespaces Tests #3644: Pull request #1417 opened by mohamed-barakat
August 14, 2023 21:44 13m 44s mohamed-barakat:prepare1
mohamed-barakat:prepare1
August 14, 2023 21:44 13m 44s
Merge pull request #1416 from mohamed-barakat/pre_post_mor Tests #3643: Commit f580a68 pushed by zickgraf
August 14, 2023 15:30 16m 55s master
master
August 14, 2023 15:30 16m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.