Skip to content

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

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 #5549

Triggered via pull request January 6, 2025 12:43
Status Failure
Total duration 5m 11s
Artifacts

release.yml

on: pull_request
Validate release scripts
13s
Validate release scripts
Create Unix archives and data
4m 21s
Create Unix archives and data
Create Windows x86_64 installer
0s
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

1 error and 2 warnings
Create Unix archives and data
Process completed with exit code 1.
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