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

[typeset] New package, version 1.2.0 PR #1942: Pull request #809 synchronize by fingolfin
January 21, 2024 23:25 51m 13s automatic/typeset
automatic/typeset
January 21, 2024 23:25 51m 13s
[cap_project] Update MonoidalCategories to 2024.01-05 PR #1941: Pull request #876 synchronize by gap-package-distribution-bot bot
January 21, 2024 13:09 40m 11s automatic/cap_project
automatic/cap_project
January 21, 2024 13:09 40m 11s
[cap_project] Update MonoidalCategories to 2024.01-05 PR #1940: Pull request #876 opened by gap-package-distribution-bot bot
January 20, 2024 18:09 46m 21s automatic/cap_project
automatic/cap_project
January 20, 2024 18:09 46m 21s
[semigroups] Update to 5.3.4 PR #1939: Pull request #864 synchronize by gap-package-distribution-bot bot
January 20, 2024 10:09 4m 55s automatic/semigroups
automatic/semigroups
January 20, 2024 10:09 4m 55s
[qdistrnd] New package, version 0.9.2 PR #1938: Pull request #852 synchronize by gap-package-distribution-bot bot
January 20, 2024 08:29 39m 55s automatic/qdistrnd
automatic/qdistrnd
January 20, 2024 08:29 39m 55s
[semigroups] Update to 5.3.4 PR #1937: Pull request #864 synchronize by gap-package-distribution-bot bot
January 19, 2024 22:19 9m 44s automatic/semigroups
automatic/semigroups
January 19, 2024 22:19 9m 44s
[cap_project] Updates for several packages PR #1936: Pull request #875 opened by gap-package-distribution-bot bot
January 19, 2024 11:08 46m 28s automatic/cap_project
automatic/cap_project
January 19, 2024 11:08 46m 28s
[typeset] New package, version 1.2.0 PR #1935: Pull request #809 synchronize by gap-package-distribution-bot bot
January 16, 2024 21:45 49m 7s automatic/typeset
automatic/typeset
January 16, 2024 21:45 49m 7s
[qdistrnd] New package, version 0.9.2 PR #1934: Pull request #852 synchronize by gap-package-distribution-bot bot
January 15, 2024 23:59 51m 56s automatic/qdistrnd
automatic/qdistrnd
January 15, 2024 23:59 51m 56s
[qdistrnd] New package, version 0.9.2 PR #1933: Pull request #852 synchronize by gap-package-distribution-bot bot
January 13, 2024 07:46 53s automatic/qdistrnd
automatic/qdistrnd
January 13, 2024 07:46 53s
[semigroups] Update to 5.3.4 PR #1932: Pull request #864 synchronize by gap-package-distribution-bot bot
January 12, 2024 14:15 4m 39s automatic/semigroups
automatic/semigroups
January 12, 2024 14:15 4m 39s
[tomlib] Update to 1.2.11 PR #1931: Pull request #872 synchronize by gap-package-distribution-bot bot
January 12, 2024 12:10 50m 38s automatic/tomlib
automatic/tomlib
January 12, 2024 12:10 50m 38s
[packagemanager] Update to 1.4.3 PR #1930: Pull request #874 opened by gap-package-distribution-bot bot
January 12, 2024 12:10 59m 45s automatic/packagemanager
automatic/packagemanager
January 12, 2024 12:10 59m 45s
[tomlib] Update to 1.2.11 PR #1929: Pull request #872 synchronize by gap-package-distribution-bot bot
January 12, 2024 08:16 3h 55m 9s automatic/tomlib
automatic/tomlib
January 12, 2024 08:16 3h 55m 9s
[semigroups] Update to 5.3.4 PR #1928: Pull request #864 synchronize by gap-package-distribution-bot bot
January 12, 2024 08:16 4m 1s automatic/semigroups
automatic/semigroups
January 12, 2024 08:16 4m 1s
[tomlib] Update to 1.2.11 PR #1927: Pull request #872 reopened by fingolfin
January 12, 2024 07:41 35m 59s automatic/tomlib
automatic/tomlib
January 12, 2024 07:41 35m 59s
[nq] Update to 2.5.11 PR #1926: Pull request #873 opened by gap-package-distribution-bot bot
January 12, 2024 01:33 50m 20s automatic/nq
automatic/nq
January 12, 2024 01:33 50m 20s
[tomlib] Update to 1.2.11 PR #1925: Pull request #872 opened by gap-package-distribution-bot bot
January 12, 2024 01:33 6h 1m 40s automatic/tomlib
automatic/tomlib
January 12, 2024 01:33 6h 1m 40s
[semigroups] Update to 5.3.4 PR #1924: Pull request #864 synchronize by gap-package-distribution-bot bot
January 12, 2024 00:32 4m 18s automatic/semigroups
automatic/semigroups
January 12, 2024 00:32 4m 18s
[quagroup] Update to 1.8.4 PR #1923: Pull request #871 opened by gap-package-distribution-bot bot
January 11, 2024 23:09 47m 31s automatic/quagroup
automatic/quagroup
January 11, 2024 23:09 47m 31s
[float] Update to 1.0.4 PR #1922: Pull request #870 opened by gap-package-distribution-bot bot
January 11, 2024 22:09 48m 34s automatic/float
automatic/float
January 11, 2024 22:09 48m 34s
[semigroups] Update to 5.3.4 PR #1921: Pull request #864 synchronize by gap-package-distribution-bot bot
January 11, 2024 21:08 5m 8s automatic/semigroups
automatic/semigroups
January 11, 2024 21:08 5m 8s
[fr] Update to 2.4.13 PR #1920: Pull request #869 opened by gap-package-distribution-bot bot
January 11, 2024 19:08 49m 27s automatic/fr
automatic/fr
January 11, 2024 19:08 49m 27s
[permut] Update to 2.0.5 PR #1919: Pull request #868 opened by gap-package-distribution-bot bot
January 11, 2024 13:10 52m 35s automatic/permut
automatic/permut
January 11, 2024 13:10 52m 35s
[cap_project] Updates for several packages PR #1918: Pull request #866 synchronize by gap-package-distribution-bot bot
January 11, 2024 11:08 42m 48s automatic/cap_project
automatic/cap_project
January 11, 2024 11:08 42m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.