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 2024.09-23 PR #2242: Pull request #1038 opened by gap-package-distribution-bot bot
September 24, 2024 08:12 29m 35s automatic/cap_project
automatic/cap_project
September 24, 2024 08:12 29m 35s
[modisom] Update to 3.0.0 PR #2241: Pull request #1037 opened by gap-package-distribution-bot bot
September 23, 2024 14:10 30m 16s automatic/modisom
automatic/modisom
September 23, 2024 14:10 30m 16s
[modisom] Update to 3.0.0 PR #2240: Pull request #1035 synchronize by gap-package-distribution-bot bot
September 23, 2024 12:13 23m 28s automatic/modisom
automatic/modisom
September 23, 2024 12:13 23m 28s
[groupoids] Update to 1.76 PR #2239: Pull request #1036 opened by gap-package-distribution-bot bot
September 23, 2024 11:09 29m 34s automatic/groupoids
automatic/groupoids
September 23, 2024 11:09 29m 34s
[modisom] Update to 3.0.0 PR #2238: Pull request #1035 synchronize by gap-package-distribution-bot bot
September 23, 2024 09:10 8m 38s automatic/modisom
automatic/modisom
September 23, 2024 09:10 8m 38s
[modisom] Update to 3.0.0 PR #2237: Pull request #1035 opened by gap-package-distribution-bot bot
September 21, 2024 10:10 14m 55s automatic/modisom
automatic/modisom
September 21, 2024 10:10 14m 55s
[cap_project] Update CAP to 2024.09-22 PR #2236: Pull request #1034 synchronize by gap-package-distribution-bot bot
September 20, 2024 16:10 24m 4s automatic/cap_project
automatic/cap_project
September 20, 2024 16:10 24m 4s
[cap_project] Update CAP to 2024.09-22 PR #2235: Pull request #1034 opened by gap-package-distribution-bot bot
September 20, 2024 14:10 29m 9s automatic/cap_project
automatic/cap_project
September 20, 2024 14:10 29m 9s
[homalg_project] Update ToolsForHomalg to 2024.09-01 PR #2234: Pull request #1033 opened by gap-package-distribution-bot bot
September 20, 2024 09:11 29m 28s automatic/homalg_project
automatic/homalg_project
September 20, 2024 09:11 29m 28s
[packagemanager] Update to 1.6 PR #2233: Pull request #1032 opened by gap-package-distribution-bot bot
September 19, 2024 13:13 29m 57s automatic/packagemanager
automatic/packagemanager
September 19, 2024 13:13 29m 57s
[cap_project] Update CAP to 2024.09-20 PR #2232: Pull request #1031 synchronize by gap-package-distribution-bot bot
September 19, 2024 11:09 23m 27s automatic/cap_project
automatic/cap_project
September 19, 2024 11:09 23m 27s
[cap_project] Update CAP to 2024.09-20 PR #2231: Pull request #1031 synchronize by gap-package-distribution-bot bot
September 18, 2024 16:10 25m 1s automatic/cap_project
automatic/cap_project
September 18, 2024 16:10 25m 1s
[cap_project] Update CAP to 2024.09-20 PR #2230: Pull request #1031 synchronize by gap-package-distribution-bot bot
September 18, 2024 14:10 22m 17s automatic/cap_project
automatic/cap_project
September 18, 2024 14:10 22m 17s
[cap_project] Update CAP to 2024.09-20 PR #2229: Pull request #1031 synchronize by gap-package-distribution-bot bot
September 18, 2024 07:10 23m 16s automatic/cap_project
automatic/cap_project
September 18, 2024 07:10 23m 16s
[cap_project] Update CAP to 2024.09-20 PR #2228: Pull request #1031 synchronize by gap-package-distribution-bot bot
September 17, 2024 18:10 23m 32s automatic/cap_project
automatic/cap_project
September 17, 2024 18:10 23m 32s
[cap_project] Update CAP to 2024.09-20 PR #2227: Pull request #1031 opened by gap-package-distribution-bot bot
September 17, 2024 13:13 31m 30s automatic/cap_project
automatic/cap_project
September 17, 2024 13:13 31m 30s
[cap_project] Updates for several packages PR #2226: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 13, 2024 15:10 23m 7s automatic/cap_project
automatic/cap_project
September 13, 2024 15:10 23m 7s
[cap_project] Updates for several packages PR #2225: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 13, 2024 09:10 23m 56s automatic/cap_project
automatic/cap_project
September 13, 2024 09:10 23m 56s
[cap_project] Updates for several packages PR #2224: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 12, 2024 16:10 23m 24s automatic/cap_project
automatic/cap_project
September 12, 2024 16:10 23m 24s
[cap_project] Updates for several packages PR #2223: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 12, 2024 13:12 23m 57s automatic/cap_project
automatic/cap_project
September 12, 2024 13:12 23m 57s
[cap_project] Updates for several packages PR #2222: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 12, 2024 11:09 23m 3s automatic/cap_project
automatic/cap_project
September 12, 2024 11:09 23m 3s
[cap_project] Updates for several packages PR #2221: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 12, 2024 07:10 22m 57s automatic/cap_project
automatic/cap_project
September 12, 2024 07:10 22m 57s
[cap_project] Updates for several packages PR #2220: Pull request #1030 synchronize by gap-package-distribution-bot bot
September 11, 2024 16:10 24m 32s automatic/cap_project
automatic/cap_project
September 11, 2024 16:10 24m 32s
[cap_project] Updates for several packages PR #2219: Pull request #1030 opened by gap-package-distribution-bot bot
September 10, 2024 17:09 29m 12s automatic/cap_project
automatic/cap_project
September 10, 2024 17:09 29m 12s
[ferret] Update to 1.0.14 PR #2218: Pull request #1021 synchronize by gap-package-distribution-bot bot
September 10, 2024 09:10 29m 39s automatic/ferret
automatic/ferret
September 10, 2024 09:10 29m 39s