Skip to content

Updates for a different default galaxy user system uid #281

Updates for a different default galaxy user system uid

Updates for a different default galaxy user system uid #281

Triggered via pull request January 23, 2025 17:42
@nuwangnuwang
closed #508
Status Success
Total duration 27m 8s
Artifacts

packaging.yml

on: pull_request_target
Package and push from PR
11s
Package and push from PR
Package and push manual invocation
0s
Package and push manual invocation
Create a tag and GitHub release for this version.
6s
Create a tag and GitHub release for this version.
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Package and push from PR
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Create a tag and GitHub release for this version.
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636