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

[homalg_project] Updates for several packages PR #1917: Pull request #867 opened by gap-package-distribution-bot bot
January 10, 2024 15:09 49m 44s automatic/homalg_project
automatic/homalg_project
January 10, 2024 15:09 49m 44s
[cap_project] Updates for several packages PR #1916: Pull request #866 opened by gap-package-distribution-bot bot
January 8, 2024 12:10 48m 53s automatic/cap_project
automatic/cap_project
January 8, 2024 12:10 48m 53s
[semigroups] Update to 5.3.4 PR #1915: Pull request #864 synchronize by gap-package-distribution-bot bot
January 6, 2024 16:09 4m 50s automatic/semigroups
automatic/semigroups
January 6, 2024 16:09 4m 50s
[hap] Update to 1.61 PR #1914: Pull request #865 opened by gap-package-distribution-bot bot
January 5, 2024 23:09 46m 1s automatic/hap
automatic/hap
January 5, 2024 23:09 46m 1s
[semigroups] Update to 5.3.4 PR #1913: Pull request #864 synchronize by gap-package-distribution-bot bot
January 5, 2024 20:09 5m 20s automatic/semigroups
automatic/semigroups
January 5, 2024 20:09 5m 20s
[semigroups] Update to 5.3.4 PR #1912: Pull request #864 opened by gap-package-distribution-bot bot
January 5, 2024 17:09 9m 53s automatic/semigroups
automatic/semigroups
January 5, 2024 17:09 9m 53s
[ctbllib] Update to 1.3.7 PR #1911: Pull request #863 opened by gap-package-distribution-bot bot
January 5, 2024 10:09 47m 7s automatic/ctbllib
automatic/ctbllib
January 5, 2024 10:09 47m 7s
[qpa] Update to 1.35 PR #1910: Pull request #862 opened by gap-package-distribution-bot bot
January 4, 2024 21:51 47m 58s automatic/qpa
automatic/qpa
January 4, 2024 21:51 47m 58s
[atlasrep] Update to 2.1.8 PR #1909: Pull request #861 opened by gap-package-distribution-bot bot
January 4, 2024 12:10 48m 23s automatic/atlasrep
automatic/atlasrep
January 4, 2024 12:10 48m 23s
[cap_project] Update CAP to 2024.01-01 PR #1908: Pull request #860 synchronize by gap-package-distribution-bot bot
January 3, 2024 13:09 37m 52s automatic/cap_project
automatic/cap_project
January 3, 2024 13:09 37m 52s
[cap_project] Update CAP to 2024.01-01 PR #1907: Pull request #860 opened by gap-package-distribution-bot bot
January 2, 2024 14:09 49m 34s automatic/cap_project
automatic/cap_project
January 2, 2024 14:09 49m 34s
[cap_project] Update MonoidalCategories to 2023.12-01 PR #1906: Pull request #859 opened by gap-package-distribution-bot bot
December 27, 2023 16:09 46m 9s automatic/cap_project
automatic/cap_project
December 27, 2023 16:09 46m 9s
[qdistrnd] New package, version 0.9.2 PR #1905: Pull request #852 synchronize by gap-package-distribution-bot bot
December 21, 2023 08:58 1m 0s automatic/qdistrnd
automatic/qdistrnd
December 21, 2023 08:58 1m 0s
[packagemanager] Update to 1.4.2 PR #1904: Pull request #858 opened by gap-package-distribution-bot bot
December 21, 2023 08:09 58s automatic/packagemanager
automatic/packagemanager
December 21, 2023 08:09 58s
[packagemanager] Update to 1.4.2 PR #1903: Pull request #857 opened by gap-package-distribution-bot bot
December 20, 2023 09:09 47m 17s automatic/packagemanager
automatic/packagemanager
December 20, 2023 09:09 47m 17s
[cap_project] Update CAP to 2023.12-11 PR #1902: Pull request #856 opened by gap-package-distribution-bot bot
December 18, 2023 22:09 47m 20s automatic/cap_project
automatic/cap_project
December 18, 2023 22:09 47m 20s
[caratinterface] Update to 2.3.6 PR #1901: Pull request #855 opened by gap-package-distribution-bot bot
December 18, 2023 18:09 46m 14s automatic/caratinterface
automatic/caratinterface
December 18, 2023 18:09 46m 14s
[cryst] Update to 4.1.27 PR #1900: Pull request #854 opened by gap-package-distribution-bot bot
December 18, 2023 17:09 48m 16s automatic/cryst
automatic/cryst
December 18, 2023 17:09 48m 16s
[transgrp] Update to 3.6.5 PR #1899: Pull request #853 opened by gap-package-distribution-bot bot
December 14, 2023 20:54 52m 4s automatic/transgrp
automatic/transgrp
December 14, 2023 20:54 52m 4s
[qdistrnd] New package, version 0.9.2 PR #1898: Pull request #852 opened by gap-package-distribution-bot bot
December 14, 2023 16:19 2m 35s automatic/qdistrnd
automatic/qdistrnd
December 14, 2023 16:19 2m 35s
[cap_project] Updates for several packages PR #1897: Pull request #851 synchronize by gap-package-distribution-bot bot
December 13, 2023 22:09 37m 48s automatic/cap_project
automatic/cap_project
December 13, 2023 22:09 37m 48s
[cap_project] Updates for several packages PR #1896: Pull request #851 synchronize by gap-package-distribution-bot bot
December 12, 2023 12:10 40m 29s automatic/cap_project
automatic/cap_project
December 12, 2023 12:10 40m 29s
[cap_project] Updates for several packages PR #1895: Pull request #851 synchronize by gap-package-distribution-bot bot
December 12, 2023 11:09 42m 36s automatic/cap_project
automatic/cap_project
December 12, 2023 11:09 42m 36s
[cap_project] Updates for several packages PR #1894: Pull request #851 synchronize by gap-package-distribution-bot bot
December 12, 2023 09:09 40m 40s automatic/cap_project
automatic/cap_project
December 12, 2023 09:09 40m 40s
[cap_project] Updates for several packages PR #1893: Pull request #851 synchronize by gap-package-distribution-bot bot
December 10, 2023 17:08 35m 50s automatic/cap_project
automatic/cap_project
December 10, 2023 17:08 35m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-12-10 or the other filters available.