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] Updates for several packages PR #1992: Pull request #902 synchronize by gap-package-distribution-bot bot
February 19, 2024 16:10 26m 56s automatic/cap_project
automatic/cap_project
February 19, 2024 16:10 26m 56s
[wedderga] Update to 4.10.5 PR #1991: Pull request #903 opened by gap-package-distribution-bot bot
February 19, 2024 15:09 32m 17s automatic/wedderga
automatic/wedderga
February 19, 2024 15:09 32m 17s
[cap_project] Updates for several packages PR #1990: Pull request #902 synchronize by gap-package-distribution-bot bot
February 19, 2024 14:09 25m 51s automatic/cap_project
automatic/cap_project
February 19, 2024 14:09 25m 51s
[cap_project] Updates for several packages PR #1989: Pull request #902 opened by gap-package-distribution-bot bot
February 19, 2024 13:09 35m 20s automatic/cap_project
automatic/cap_project
February 19, 2024 13:09 35m 20s
[digraphs] Update to 1.7.0 PR #1988: Pull request #901 opened by gap-package-distribution-bot bot
February 14, 2024 19:08 47m 48s automatic/digraphs
automatic/digraphs
February 14, 2024 19:08 47m 48s
[semigroups] Update to 5.3.5 PR #1987: Pull request #900 opened by gap-package-distribution-bot bot
February 14, 2024 11:09 53m 28s automatic/semigroups
automatic/semigroups
February 14, 2024 11:09 53m 28s
[cap_project] Update CAP to 2024.02-01 PR #1986: Pull request #899 opened by gap-package-distribution-bot bot
February 13, 2024 18:10 52m 24s automatic/cap_project
automatic/cap_project
February 13, 2024 18:10 52m 24s
[xgap] Update to 4.32 PR #1985: Pull request #898 opened by gap-package-distribution-bot bot
February 8, 2024 00:24 49m 9s automatic/xgap
automatic/xgap
February 8, 2024 00:24 49m 9s
[cap_project] Updates for several packages PR #1984: Pull request #896 synchronize by gap-package-distribution-bot bot
February 7, 2024 21:09 57m 41s automatic/cap_project
automatic/cap_project
February 7, 2024 21:09 57m 41s
[qdistrnd] Update to 0.9.3 PR #1983: Pull request #897 opened by gap-package-distribution-bot bot
February 7, 2024 02:12 53m 28s automatic/qdistrnd
automatic/qdistrnd
February 7, 2024 02:12 53m 28s
[cap_project] Updates for several packages PR #1982: Pull request #896 opened by gap-package-distribution-bot bot
February 7, 2024 01:27 49m 37s automatic/cap_project
automatic/cap_project
February 7, 2024 01:27 49m 37s
[cap_project] Update MonoidalCategories to 2024.01-17 PR #1981: Pull request #895 synchronize by gap-package-distribution-bot bot
February 4, 2024 14:09 40m 48s automatic/cap_project
automatic/cap_project
February 4, 2024 14:09 40m 48s
[cap_project] Update MonoidalCategories to 2024.01-17 PR #1980: Pull request #895 synchronize by gap-package-distribution-bot bot
February 4, 2024 12:10 41m 22s automatic/cap_project
automatic/cap_project
February 4, 2024 12:10 41m 22s
[cap_project] Update MonoidalCategories to 2024.01-17 PR #1979: Pull request #895 opened by gap-package-distribution-bot bot
February 4, 2024 11:08 44m 47s automatic/cap_project
automatic/cap_project
February 4, 2024 11:08 44m 47s
[hap] Update to 1.62 PR #1978: Pull request #894 opened by gap-package-distribution-bot bot
February 1, 2024 13:09 56m 17s automatic/hap
automatic/hap
February 1, 2024 13:09 56m 17s
[scscp] Update to 2.4.2 PR #1977: Pull request #893 opened by gap-package-distribution-bot bot
January 31, 2024 18:09 52m 28s automatic/scscp
automatic/scscp
January 31, 2024 18:09 52m 28s
[cap_project] Updates for several packages PR #1976: Pull request #892 synchronize by gap-package-distribution-bot bot
January 31, 2024 14:09 47m 26s automatic/cap_project
automatic/cap_project
January 31, 2024 14:09 47m 26s
[cap_project] Updates for several packages PR #1975: Pull request #892 opened by gap-package-distribution-bot bot
January 30, 2024 11:08 54m 19s automatic/cap_project
automatic/cap_project
January 30, 2024 11:08 54m 19s
[semigroups] Update to 5.3.4 PR #1974: Pull request #864 synchronize by gap-package-distribution-bot bot
January 24, 2024 17:52 57m 15s automatic/semigroups
automatic/semigroups
January 24, 2024 17:52 57m 15s
[semigroups] Update to 5.3.4 PR #1973: Pull request #864 synchronize by gap-package-distribution-bot bot
January 24, 2024 17:09 11s automatic/semigroups
automatic/semigroups
January 24, 2024 17:09 11s
[cap_project] Updates for several packages PR #1972: Pull request #891 opened by gap-package-distribution-bot bot
January 24, 2024 15:10 54m 51s automatic/cap_project
automatic/cap_project
January 24, 2024 15:10 54m 51s
[semigroups] Update to 5.3.4 PR #1971: Pull request #864 synchronize by gap-package-distribution-bot bot
January 23, 2024 21:08 11s automatic/semigroups
automatic/semigroups
January 23, 2024 21:08 11s
[utils] Update to 0.85 PR #1970: Pull request #890 synchronize by gap-package-distribution-bot bot
January 23, 2024 19:16 1h 37m 48s automatic/utils
automatic/utils
January 23, 2024 19:16 1h 37m 48s
[idrel] Update to 2.46 PR #1969: Pull request #888 synchronize by gap-package-distribution-bot bot
January 23, 2024 19:16 1h 27m 22s automatic/idrel
automatic/idrel
January 23, 2024 19:16 1h 27m 22s
[semigroups] Update to 5.3.4 PR #1968: Pull request #864 synchronize by gap-package-distribution-bot bot
January 23, 2024 19:16 12s automatic/semigroups
automatic/semigroups
January 23, 2024 19:16 12s
ProTip! You can narrow down the results and go further in time using created:<2024-01-23 or the other filters available.