Skip to content

Actions: homalg-project/FinSetsForCAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
669 workflow runs
669 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #1776: Scheduled
September 12, 2023 04:19 16m 2s master
master
September 12, 2023 04:19 16m 2s
Merge pull request #222 from zickgraf/master Tests #1775: Commit d0c89a8 pushed by zickgraf
September 11, 2023 12:40 15m 37s master
master
September 11, 2023 12:40 15m 37s
Remove typed_lambda_calculus_and_category_theory.ipynb Tests #1774: Pull request #222 opened by zickgraf
September 11, 2023 12:08 18m 44s zickgraf:master
zickgraf:master
September 11, 2023 12:08 18m 44s
Tests Tests #1773: Scheduled
September 11, 2023 04:20 3m 42s master
master
September 11, 2023 04:20 3m 42s
Tests Tests #1772: Scheduled
September 10, 2023 04:19 4m 32s master
master
September 10, 2023 04:19 4m 32s
Tests Tests #1771: Scheduled
September 9, 2023 04:19 4m 42s master
master
September 9, 2023 04:19 4m 42s
Tests Tests #1770: Scheduled
September 8, 2023 04:19 5m 30s master
master
September 8, 2023 04:19 5m 30s
Tests Tests #1769: Scheduled
September 7, 2023 04:19 4m 31s master
master
September 7, 2023 04:19 4m 31s
Tests Tests #1768: Scheduled
September 6, 2023 04:20 5m 35s master
master
September 6, 2023 04:20 5m 35s
Tests Tests #1767: Scheduled
September 5, 2023 04:19 2m 54s master
master
September 5, 2023 04:19 2m 54s
Tests Tests #1766: Scheduled
September 4, 2023 04:19 4m 0s master
master
September 4, 2023 04:19 4m 0s
Tests Tests #1765: Scheduled
September 3, 2023 04:19 5m 50s master
master
September 3, 2023 04:19 5m 50s
Tests Tests #1764: Scheduled
September 2, 2023 04:18 4m 59s master
master
September 2, 2023 04:18 4m 59s
Tests Tests #1763: Scheduled
September 1, 2023 04:19 18m 20s master
master
September 1, 2023 04:19 18m 20s
Tests Tests #1762: Scheduled
August 31, 2023 04:19 19m 30s master
master
August 31, 2023 04:19 19m 30s
pages build and deployment pages-build-deployment #92: by github-pages bot
August 30, 2023 13:01 52s
August 30, 2023 13:01 52s
Merge pull request #221 from zickgraf/master Tests #1761: Commit 37b1ed9 pushed by zickgraf
August 30, 2023 12:43 17m 59s master
master
August 30, 2023 12:43 17m 59s
Apply PackageJanitor Tests #1760: Pull request #221 opened by zickgraf
August 30, 2023 12:11 18m 28s zickgraf:master
zickgraf:master
August 30, 2023 12:11 18m 28s
Tests Tests #1759: Scheduled
August 30, 2023 04:20 19m 8s master
master
August 30, 2023 04:20 19m 8s
Tests Tests #1758: Scheduled
August 29, 2023 04:19 20m 40s master
master
August 29, 2023 04:19 20m 40s
Tests Tests #1757: Scheduled
August 28, 2023 04:20 22m 44s master
master
August 28, 2023 04:20 22m 44s
Tests Tests #1756: Scheduled
August 27, 2023 04:18 16m 54s master
master
August 27, 2023 04:18 16m 54s
Tests Tests #1755: Scheduled
August 26, 2023 04:18 20m 27s master
master
August 26, 2023 04:18 20m 27s
converted logic templates into logic functions to retain type signatures Tests #1754: Pull request #202 synchronize by mohamed-barakat
August 25, 2023 21:30 16m 37s mohamed-barakat:prepare
mohamed-barakat:prepare
August 25, 2023 21:30 16m 37s
converted logic templates into logic functions to retain type signatures Tests #1753: Pull request #202 synchronize by mohamed-barakat
August 25, 2023 21:28 1m 51s mohamed-barakat:prepare
mohamed-barakat:prepare
August 25, 2023 21:28 1m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.