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.10-08 PR #2267: Pull request #1051 opened by gap-package-distribution-bot bot
October 30, 2024 17:09 31m 6s automatic/cap_project
automatic/cap_project
October 30, 2024 17:09 31m 6s
[hap] Update to 1.66 PR #2266: Pull request #1050 opened by gap-package-distribution-bot bot
October 24, 2024 13:14 33m 10s automatic/hap
automatic/hap
October 24, 2024 13:14 33m 10s
[cap_project] Updates for several packages PR #2265: Pull request #1049 opened by gap-package-distribution-bot bot
October 24, 2024 09:10 31m 57s automatic/cap_project
automatic/cap_project
October 24, 2024 09:10 31m 57s
[wpe] New package, version 0.8 PR #2264: Pull request #1043 synchronize by gap-package-distribution-bot bot
October 21, 2024 16:28 32m 19s automatic/wpe
automatic/wpe
October 21, 2024 16:28 32m 19s
[design] Update to 1.8.1 PR #2263: Pull request #1048 opened by gap-package-distribution-bot bot
October 21, 2024 16:10 31m 20s automatic/design
automatic/design
October 21, 2024 16:10 31m 20s
[anupq] Update to 3.3.1 PR #2262: Pull request #1047 opened by gap-package-distribution-bot bot
October 21, 2024 10:10 30m 51s automatic/anupq
automatic/anupq
October 21, 2024 10:10 30m 51s
[semigroups] Update to 5.4.0 PR #2261: Pull request #1046 opened by gap-package-distribution-bot bot
October 19, 2024 16:11 29m 31s automatic/semigroups
automatic/semigroups
October 19, 2024 16:11 29m 31s
[recog] Update to 1.4.3 PR #2260: Pull request #1045 opened by gap-package-distribution-bot bot
October 16, 2024 16:41 29m 18s automatic/recog
automatic/recog
October 16, 2024 16:41 29m 18s
[caratinterface] Update to 2.3.7 PR #2259: Pull request #1044 opened by gap-package-distribution-bot bot
October 16, 2024 13:14 30m 8s automatic/caratinterface
automatic/caratinterface
October 16, 2024 13:14 30m 8s
[wpe] New package, version 0.8 PR #2258: Pull request #1043 opened by gap-package-distribution-bot bot
October 16, 2024 08:42 16m 36s automatic/wpe
automatic/wpe
October 16, 2024 08:42 16m 36s
[cap_project] Updates for several packages PR #2257: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 14, 2024 08:11 26m 7s automatic/cap_project
automatic/cap_project
October 14, 2024 08:11 26m 7s
[cap_project] Updates for several packages PR #2256: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 13, 2024 09:02 2h 24m 51s automatic/cap_project
automatic/cap_project
October 13, 2024 09:02 2h 24m 51s
[grape] Update to 4.9.2 PR #2255: Pull request #1042 opened by gap-package-distribution-bot bot
October 11, 2024 17:10 30m 19s automatic/grape
automatic/grape
October 11, 2024 17:10 30m 19s
[cap_project] Updates for several packages PR #2254: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 10, 2024 17:10 7m 41s automatic/cap_project
automatic/cap_project
October 10, 2024 17:10 7m 41s
[cap_project] Updates for several packages PR #2253: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 10, 2024 15:11 25m 18s automatic/cap_project
automatic/cap_project
October 10, 2024 15:11 25m 18s
[cap_project] Updates for several packages PR #2252: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 9, 2024 10:10 23m 3s automatic/cap_project
automatic/cap_project
October 9, 2024 10:10 23m 3s
[cap_project] Updates for several packages PR #2251: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 8, 2024 11:10 24m 10s automatic/cap_project
automatic/cap_project
October 8, 2024 11:10 24m 10s
[cap_project] Updates for several packages PR #2250: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 7, 2024 10:11 23m 16s automatic/cap_project
automatic/cap_project
October 7, 2024 10:11 23m 16s
[cap_project] Updates for several packages PR #2249: Pull request #1041 synchronize by gap-package-distribution-bot bot
October 4, 2024 08:10 23m 54s automatic/cap_project
automatic/cap_project
October 4, 2024 08:10 23m 54s
[cap_project] Updates for several packages PR #2248: Pull request #1041 synchronize by gap-package-distribution-bot bot
September 26, 2024 17:10 26m 23s automatic/cap_project
automatic/cap_project
September 26, 2024 17:10 26m 23s
[cap_project] Updates for several packages PR #2247: Pull request #1041 synchronize by gap-package-distribution-bot bot
September 25, 2024 16:10 23m 54s automatic/cap_project
automatic/cap_project
September 25, 2024 16:10 23m 54s
[cap_project] Updates for several packages PR #2246: Pull request #1041 synchronize by gap-package-distribution-bot bot
September 25, 2024 10:10 24m 43s automatic/cap_project
automatic/cap_project
September 25, 2024 10:10 24m 43s
[cap_project] Updates for several packages PR #2245: Pull request #1041 opened by gap-package-distribution-bot bot
September 24, 2024 19:10 28m 49s automatic/cap_project
automatic/cap_project
September 24, 2024 19:10 28m 49s
[cddinterface] Update to 2024.09.02 PR #2244: Pull request #1040 opened by gap-package-distribution-bot bot
September 24, 2024 16:10 29m 37s automatic/cddinterface
automatic/cddinterface
September 24, 2024 16:10 29m 37s
[cap_project] Update CAP to 2024.09-23 PR #2243: Pull request #1038 synchronize by gap-package-distribution-bot bot
September 24, 2024 09:10 22m 51s automatic/cap_project
automatic/cap_project
September 24, 2024 09:10 22m 51s