Skip to content
Wrap releases

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

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

Triggered via pull request December 20, 2024 10:11
@lgoettgenslgoettgens
synchronize #5873
lgoettgens:lg/PackageDirectories
Status Cancelled
Total duration 18m 14s
Artifacts 2

release.yml

on: pull_request
Validate release scripts
15s
Validate release scripts
Create Unix archives and data
12m 47s
Create Unix archives and data
Create Windows x86_64 installer
4m 29s
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 errors and 2 warnings
Create Windows x86_64 installer
Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/5873/merge-true' exists
Create Windows x86_64 installer
The operation was canceled.
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