Skip to content
Wrap releases

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #5472

Sign in to view logs

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #5472

Triggered via pull request December 18, 2024 11:25
@lgoettgenslgoettgens
synchronize #5873
lgoettgens:lg/PackageDirectories
Status Success
Total duration 1h 12m 20s
Artifacts 2

release.yml

on: pull_request
Validate release scripts
17s
Validate release scripts
Create Unix archives and data
13m 14s
Create Unix archives and data
Create Windows x86_64 installer
58m 5s
Create Windows x86_64 installer
Send Slack notification on status change
0s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Validate release scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Create Unix archives and data
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
JSON metadata Expired
551 KB
gap Expired
525 MB