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 #2117: Pull request #972 opened by gap-package-distribution-bot bot
August 21, 2024 08:11 34m 23s automatic/cap_project
automatic/cap_project
August 21, 2024 08:11 34m 23s
[cap_project] Updates for several packages PR #2116: Pull request #971 synchronize by gap-package-distribution-bot bot
August 19, 2024 15:09 23m 34s automatic/cap_project
automatic/cap_project
August 19, 2024 15:09 23m 34s
[cap_project] Updates for several packages PR #2115: Pull request #971 synchronize by gap-package-distribution-bot bot
August 15, 2024 16:10 25m 3s automatic/cap_project
automatic/cap_project
August 15, 2024 16:10 25m 3s
[cap_project] Updates for several packages PR #2114: Pull request #971 synchronize by gap-package-distribution-bot bot
August 15, 2024 13:11 23m 7s automatic/cap_project
automatic/cap_project
August 15, 2024 13:11 23m 7s
[cap_project] Updates for several packages PR #2113: Pull request #971 opened by gap-package-distribution-bot bot
August 14, 2024 18:10 23m 33s automatic/cap_project
automatic/cap_project
August 14, 2024 18:10 23m 33s
[hap] Update to 1.65 PR #2112: Pull request #967 synchronize by fingolfin
July 29, 2024 17:31 24m 9s automatic/hap
automatic/hap
July 29, 2024 17:31 24m 9s
[hap] Update to 1.65 PR #2111: Pull request #967 synchronize by gap-package-distribution-bot bot
July 29, 2024 16:10 16s automatic/hap
automatic/hap
July 29, 2024 16:10 16s
[hap] Update to 1.65 PR #2110: Pull request #967 synchronize by gap-package-distribution-bot bot
July 29, 2024 15:10 12s automatic/hap
automatic/hap
July 29, 2024 15:10 12s
[packagemanager] Update to 1.4.4 PR #2109: Pull request #970 opened by gap-package-distribution-bot bot
July 29, 2024 10:14 25m 1s automatic/packagemanager
automatic/packagemanager
July 29, 2024 10:14 25m 1s
[io] Update to 4.8.3 PR #2108: Pull request #969 opened by gap-package-distribution-bot bot
July 29, 2024 09:50 2m 27s automatic/io
automatic/io
July 29, 2024 09:50 2m 27s
[genss] Update to 1.6.9 PR #2107: Pull request #968 opened by gap-package-distribution-bot bot
July 29, 2024 09:50 26m 34s automatic/genss
automatic/genss
July 29, 2024 09:50 26m 34s
[hap] Update to 1.65 PR #2106: Pull request #967 synchronize by gap-package-distribution-bot bot
July 29, 2024 09:10 28m 38s automatic/hap
automatic/hap
July 29, 2024 09:10 28m 38s
[hap] Update to 1.65 PR #2105: Pull request #967 opened by gap-package-distribution-bot bot
July 27, 2024 23:10 24m 17s automatic/hap
automatic/hap
July 27, 2024 23:10 24m 17s
[cap_project] Update CAP to 2024.07-07 PR #2104: Pull request #966 opened by gap-package-distribution-bot bot
July 22, 2024 13:11 23m 58s automatic/cap_project
automatic/cap_project
July 22, 2024 13:11 23m 58s
[yangbaxter] Update to 0.10.6 PR #2103: Pull request #965 opened by gap-package-distribution-bot bot
July 17, 2024 14:10 1m 27s automatic/yangbaxter
automatic/yangbaxter
July 17, 2024 14:10 1m 27s
[yangbaxter] Update to 0.10.6 PR #2102: Pull request #964 opened by gap-package-distribution-bot bot
July 17, 2024 13:11 29m 30s automatic/yangbaxter
automatic/yangbaxter
July 17, 2024 13:11 29m 30s
[sla] Update to 1.6.2 PR #2101: Pull request #963 opened by gap-package-distribution-bot bot
July 12, 2024 16:10 30m 9s automatic/sla
automatic/sla
July 12, 2024 16:10 30m 9s
[lpres] Update to 1.1.1 PR #2100: Pull request #962 opened by gap-package-distribution-bot bot
July 12, 2024 11:09 25m 7s automatic/lpres
automatic/lpres
July 12, 2024 11:09 25m 7s
[cap_project] Updates for several packages PR #2099: Pull request #961 synchronize by gap-package-distribution-bot bot
July 10, 2024 17:09 32m 44s automatic/cap_project
automatic/cap_project
July 10, 2024 17:09 32m 44s
[cap_project] Updates for several packages PR #2098: Pull request #961 opened by gap-package-distribution-bot bot
July 10, 2024 10:10 23m 52s automatic/cap_project
automatic/cap_project
July 10, 2024 10:10 23m 52s
[cap_project] Updates for several packages PR #2097: Pull request #959 synchronize by gap-package-distribution-bot bot
July 9, 2024 18:10 26m 55s automatic/cap_project
automatic/cap_project
July 9, 2024 18:10 26m 55s
[homalg_project] Updates for several packages PR #2096: Pull request #960 opened by gap-package-distribution-bot bot
July 9, 2024 17:09 35m 14s automatic/homalg_project
automatic/homalg_project
July 9, 2024 17:09 35m 14s
[cap_project] Updates for several packages PR #2095: Pull request #959 opened by gap-package-distribution-bot bot
July 9, 2024 07:09 26m 36s automatic/cap_project
automatic/cap_project
July 9, 2024 07:09 26m 36s
[cap_project] Updates for several packages PR #2094: Pull request #957 synchronize by gap-package-distribution-bot bot
July 8, 2024 16:09 27m 54s automatic/cap_project
automatic/cap_project
July 8, 2024 16:09 27m 54s
[lpres] Update to 1.1.0 PR #2093: Pull request #958 opened by gap-package-distribution-bot bot
July 8, 2024 15:09 2m 14s automatic/lpres
automatic/lpres
July 8, 2024 15:09 2m 14s