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 #1681: Scheduled
July 4, 2023 04:24 4m 20s master
master
July 4, 2023 04:24 4m 20s
pages build and deployment pages-build-deployment #87: by github-pages bot
July 3, 2023 16:35 45s
July 3, 2023 16:35 45s
Merge pull request #211 from mohamed-barakat/IsHomSetInhabited Tests #1680: Commit 15c3eda pushed by mohamed-barakat
July 3, 2023 16:10 25m 27s master
master
July 3, 2023 16:10 25m 27s
outsourced a derivation of IsHomSetInhabited from Toposes to FinSetsForCAP Tests #1679: Pull request #211 synchronize by mohamed-barakat
July 3, 2023 10:01 34m 16s mohamed-barakat:IsHomSetInhabited
mohamed-barakat:IsHomSetInhabited
July 3, 2023 10:01 34m 16s
renamed Is(Skeletal)FiniteSet(Map) -> IsObject/MorphismIn(Skeletal)CategoryOfFiniteSets Tests #1678: Pull request #210 synchronize by mohamed-barakat
July 3, 2023 08:44 11m 8s mohamed-barakat:prepare1
mohamed-barakat:prepare1
July 3, 2023 08:44 11m 8s
renamed Is(Skeletal)FiniteSet(Map) -> IsObject/MorphismIn(Skeletal)CategoryOfFiniteSets Tests #1677: Pull request #210 synchronize by mohamed-barakat
July 3, 2023 08:43 19s mohamed-barakat:prepare1
mohamed-barakat:prepare1
July 3, 2023 08:43 19s
Tests Tests #1676: Manually run by zickgraf
July 3, 2023 06:30 26m 58s master
master
July 3, 2023 06:30 26m 58s
Tests Tests #1675: Scheduled
July 3, 2023 04:23 6m 45s master
master
July 3, 2023 04:23 6m 45s
Tests Tests #1674: Manually run by mohamed-barakat
July 2, 2023 19:07 6m 23s master
master
July 2, 2023 19:07 6m 23s
Tests Tests #1673: Scheduled
July 2, 2023 04:22 32m 10s master
master
July 2, 2023 04:22 32m 10s
Tests Tests #1672: Scheduled
July 1, 2023 04:23 3m 22s master
master
July 1, 2023 04:23 3m 22s
Tests Tests #1671: Scheduled
June 30, 2023 04:23 3m 44s master
master
June 30, 2023 04:23 3m 44s
Tests Tests #1670: Scheduled
June 29, 2023 04:23 27m 3s master
master
June 29, 2023 04:23 27m 3s
Tests Tests #1669: Manually run by zickgraf
June 28, 2023 12:10 26m 46s master
master
June 28, 2023 12:10 26m 46s
pages build and deployment pages-build-deployment #86: by zickgraf
June 28, 2023 09:03 1m 59s
June 28, 2023 09:03 1m 59s
pages build and deployment pages-build-deployment #85: by zickgraf
June 28, 2023 08:59 49s
June 28, 2023 08:59 49s
Tests Tests #1668: Scheduled
June 28, 2023 04:24 6m 56s master
master
June 28, 2023 04:24 6m 56s
Tests Tests #1667: Manually run by mohamed-barakat
June 27, 2023 17:29 10m 4s master
master
June 27, 2023 17:29 10m 4s
Tests Tests #1666: Scheduled
June 27, 2023 04:24 28m 3s master
master
June 27, 2023 04:24 28m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-06-27 or the other filters available.