Skip to content

Actions: gap-system/PackageDistro

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request.yml
484 workflow runs
484 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cap_project] Update CAP to 2023.09-04 PR #1842: Pull request #834 opened by gap-package-distribution-bot bot
September 18, 2023 18:09 1h 3m 0s automatic/cap_project
automatic/cap_project
September 18, 2023 18:09 1h 3m 0s
[semigroups] Update to 5.3.1 PR #1841: Pull request #833 opened by gap-package-distribution-bot bot
September 18, 2023 11:09 21m 13s automatic/semigroups
automatic/semigroups
September 18, 2023 11:09 21m 13s
[homalg_project] Updates for several packages PR #1840: Pull request #832 synchronize by gap-package-distribution-bot bot
September 18, 2023 09:09 53m 25s automatic/homalg_project
automatic/homalg_project
September 18, 2023 09:09 53m 25s
[homalg_project] Updates for several packages PR #1839: Pull request #832 opened by gap-package-distribution-bot bot
September 17, 2023 19:08 1h 1m 5s automatic/homalg_project
automatic/homalg_project
September 17, 2023 19:08 1h 1m 5s
[cap_project] Update CAP to 2023.09-03 PR #1838: Pull request #831 opened by gap-package-distribution-bot bot
September 15, 2023 11:09 1h 7m 55s automatic/cap_project
automatic/cap_project
September 15, 2023 11:09 1h 7m 55s
[standardff] Update to 1.0 PR #1837: Pull request #830 opened by gap-package-distribution-bot bot
September 13, 2023 19:08 1h 1m 56s automatic/standardff
automatic/standardff
September 13, 2023 19:08 1h 1m 56s
[digraphs] Update to 1.6.3 PR #1836: Pull request #829 opened by gap-package-distribution-bot bot
September 13, 2023 16:09 59m 42s automatic/digraphs
automatic/digraphs
September 13, 2023 16:09 59m 42s
[cap_project] Update CAP to 2023.09-02 PR #1835: Pull request #828 opened by gap-package-distribution-bot bot
September 12, 2023 14:09 1h 5m 48s automatic/cap_project
automatic/cap_project
September 12, 2023 14:09 1h 5m 48s
[utils] Update to 0.84 PR #1834: Pull request #827 opened by gap-package-distribution-bot bot
September 11, 2023 10:09 1m 6s automatic/utils
automatic/utils
September 11, 2023 10:09 1m 6s
[utils] Update to 0.84 PR #1833: Pull request #826 opened by gap-package-distribution-bot bot
September 11, 2023 09:09 59m 23s automatic/utils
automatic/utils
September 11, 2023 09:09 59m 23s
[typeset] New package, version 1.2.0 PR #1832: Pull request #809 synchronize by fingolfin
September 4, 2023 13:51 51m 8s automatic/typeset
automatic/typeset
September 4, 2023 13:51 51m 8s
[atlasrep] Update to 2.1.7 PR #1831: Pull request #821 synchronize by gap-package-distribution-bot bot
September 1, 2023 21:08 34m 57s automatic/atlasrep
automatic/atlasrep
September 1, 2023 21:08 34m 57s
[homalg_project] Updates for several packages PR #1830: Pull request #825 opened by gap-package-distribution-bot bot
September 1, 2023 17:09 53m 45s automatic/homalg_project
automatic/homalg_project
September 1, 2023 17:09 53m 45s
[atlasrep] Update to 2.1.7 PR #1829: Pull request #821 synchronize by gap-package-distribution-bot bot
September 1, 2023 10:09 39m 23s automatic/atlasrep
automatic/atlasrep
September 1, 2023 10:09 39m 23s
[cap_project] Updates for several packages PR #1828: Pull request #824 opened by gap-package-distribution-bot bot
September 1, 2023 08:09 52m 17s automatic/cap_project
automatic/cap_project
September 1, 2023 08:09 52m 17s
[atlasrep] Update to 2.1.7 PR #1827: Pull request #821 synchronize by gap-package-distribution-bot bot
August 31, 2023 21:09 42m 14s automatic/atlasrep
automatic/atlasrep
August 31, 2023 21:09 42m 14s
[atlasrep] Update to 2.1.7 PR #1826: Pull request #821 synchronize by gap-package-distribution-bot bot
August 31, 2023 10:09 38m 2s automatic/atlasrep
automatic/atlasrep
August 31, 2023 10:09 38m 2s
[kan] Update to 1.36 PR #1825: Pull request #823 opened by gap-package-distribution-bot bot
August 30, 2023 09:09 51m 5s automatic/kan
automatic/kan
August 30, 2023 09:09 51m 5s
[cap_project] Updates for several packages PR #1824: Pull request #822 synchronize by gap-package-distribution-bot bot
August 29, 2023 14:09 33m 22s automatic/cap_project
automatic/cap_project
August 29, 2023 14:09 33m 22s
[cap_project] Updates for several packages PR #1823: Pull request #822 synchronize by gap-package-distribution-bot bot
August 25, 2023 14:09 37m 12s automatic/cap_project
automatic/cap_project
August 25, 2023 14:09 37m 12s
[cap_project] Updates for several packages PR #1822: Pull request #822 opened by gap-package-distribution-bot bot
August 25, 2023 12:10 49m 8s automatic/cap_project
automatic/cap_project
August 25, 2023 12:10 49m 8s
[atlasrep] Update to 2.1.7 PR #1821: Pull request #821 opened by gap-package-distribution-bot bot
August 25, 2023 11:08 1h 0m 35s automatic/atlasrep
automatic/atlasrep
August 25, 2023 11:08 1h 0m 35s
[cap_project] Updates for several packages PR #1820: Pull request #819 synchronize by gap-package-distribution-bot bot
August 24, 2023 10:09 35m 36s automatic/cap_project
automatic/cap_project
August 24, 2023 10:09 35m 36s
[cap_project] Updates for several packages PR #1819: Pull request #819 synchronize by gap-package-distribution-bot bot
August 24, 2023 09:09 36m 2s automatic/cap_project
automatic/cap_project
August 24, 2023 09:09 36m 2s
[cap_project] Updates for several packages PR #1818: Pull request #819 synchronize by gap-package-distribution-bot bot
August 23, 2023 22:08 35m 33s automatic/cap_project
automatic/cap_project
August 23, 2023 22:08 35m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.