Skip to content

Actions: homalg-project/homalg_project

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
575 workflow runs
575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #1779: Scheduled
October 11, 2023 04:10 27m 25s master
master
October 11, 2023 04:10 27m 25s
Tests Tests #1778: Scheduled
October 10, 2023 04:10 27m 38s master
master
October 10, 2023 04:10 27m 38s
pages build and deployment pages-build-deployment #234: by github-pages bot
October 9, 2023 10:33 55s gh-pages
gh-pages
October 9, 2023 10:33 55s
Merge pull request #596 from zickgraf/master Tests #1777: Commit 3468c04 pushed by mohamed-barakat
October 9, 2023 10:11 24m 42s master
master
October 9, 2023 10:11 24m 42s
Introduce CallFuncListWithUserTime Tests #1776: Pull request #596 opened by zickgraf
October 9, 2023 09:39 25m 26s zickgraf:master
zickgraf:master
October 9, 2023 09:39 25m 26s
Tests Tests #1775: Scheduled
October 9, 2023 04:10 31m 16s master
master
October 9, 2023 04:10 31m 16s
Tests Tests #1774: Scheduled
October 8, 2023 04:10 22m 23s master
master
October 8, 2023 04:10 22m 23s
Tests Tests #1773: Scheduled
October 7, 2023 04:10 31m 51s master
master
October 7, 2023 04:10 31m 51s
Tests Tests #1772: Scheduled
October 6, 2023 04:10 25m 23s master
master
October 6, 2023 04:10 25m 23s
pages build and deployment pages-build-deployment #233: by github-pages bot
October 5, 2023 12:42 51s gh-pages
gh-pages
October 5, 2023 12:42 51s
pages build and deployment pages-build-deployment #232: by github-pages bot
October 5, 2023 12:41 49s gh-pages
gh-pages
October 5, 2023 12:41 49s
bumped version Tests #1771: Commit 0f10537 pushed by mohamed-barakat
October 5, 2023 12:16 26m 44s master
master
October 5, 2023 12:16 26m 44s
bumped version Tests #1770: Commit 1ec6a48 pushed by mohamed-barakat
October 5, 2023 12:15 25m 44s master
master
October 5, 2023 12:15 25m 44s
pages build and deployment pages-build-deployment #231: by github-pages bot
October 5, 2023 12:04 1m 0s gh-pages
gh-pages
October 5, 2023 12:04 1m 0s
pages build and deployment pages-build-deployment #230: by github-pages bot
October 5, 2023 12:04 28s gh-pages
gh-pages
October 5, 2023 12:04 28s
pages build and deployment pages-build-deployment #229: by github-pages bot
October 5, 2023 12:03 58s gh-pages
gh-pages
October 5, 2023 12:03 58s
pages build and deployment pages-build-deployment #228: by github-pages bot
October 5, 2023 12:03 31s gh-pages
gh-pages
October 5, 2023 12:03 31s
Merge pull request #595 from mohamed-barakat/ReducedSyzygies Tests #1769: Commit 3337b4b pushed by mohamed-barakat
October 5, 2023 11:39 34m 1s master
master
October 5, 2023 11:39 34m 1s
Tests Tests #1768: Scheduled
October 5, 2023 04:10 31m 59s master
master
October 5, 2023 04:10 31m 59s
Tests Tests #1767: Scheduled
October 4, 2023 04:10 31m 26s master
master
October 4, 2023 04:10 31m 26s
ReducedSyzygiesOfRows/Columns now calls BasisOfRow/ColumnModule Tests #1766: Pull request #595 synchronize by mohamed-barakat
October 3, 2023 15:31 26m 23s mohamed-barakat:ReducedSyzygies
mohamed-barakat:ReducedSyzygies
October 3, 2023 15:31 26m 23s
ReducedSyzygiesOfRows/Columns now calls BasisOfRow/ColumnModule Tests #1765: Pull request #595 opened by mohamed-barakat
October 3, 2023 15:15 9m 26s mohamed-barakat:ReducedSyzygies
mohamed-barakat:ReducedSyzygies
October 3, 2023 15:15 9m 26s
Tests Tests #1764: Scheduled
October 3, 2023 04:10 23m 38s master
master
October 3, 2023 04:10 23m 38s
Tests Tests #1763: Scheduled
October 2, 2023 04:10 28m 37s master
master
October 2, 2023 04:10 28m 37s
Tests Tests #1762: Scheduled
October 1, 2023 04:10 28m 22s master
master
October 1, 2023 04:10 28m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-10-01 or the other filters available.