Skip to content

Issue #1896 Move the pixi environment folder out of the mounted source folder. - #1897

Merged
JoerivanEngelen merged 1 commit into
masterfrom
issue_#1896_investigate_failing_pixi_update
Aug 3, 2026
Merged

Issue #1896 Move the pixi environment folder out of the mounted source folder.#1897
JoerivanEngelen merged 1 commit into
masterfrom
issue_#1896_investigate_failing_pixi_update

Conversation

@Manangka

@Manangka Manangka commented Aug 3, 2026

Copy link
Copy Markdown
Collaborator

Fixes #1896

Description

The Pixi update build step has been failing for several weeks now.
A file is being accessed by multiple processes.
My suspicion is that the host system is also accessing the pixi environment (virus scanner?)

In this PR is move the pixi environment location out of the source folder (The source folder lives on the host system and is mounted into the docker container). After this change only the container has access to the environment.
If it still fails then the issue is somewhere in the container

As an added benefit this will also bring some performance improvements. We already use this setting in the main pipeline.

Checklist

  • Links to correct issue
  • Update changelog, if changes affect users
  • PR title starts with Issue #nr, e.g. Issue #737
  • Unit tests were added
  • If feature added: Added/extended example
  • If feature added: Added feature to API documentation
  • If pixi.lock was changed: Ran pixi run generate-sbom and committed changes

@Manangka Manangka changed the title Move the pixi environment folder out the mounted source folder. Issue #1896 Move the pixi environment folder out the mounted source folder. Aug 3, 2026
@Manangka Manangka changed the title Issue #1896 Move the pixi environment folder out the mounted source folder. Issue #1896 Move the pixi environment folder out of the mounted source folder. Aug 3, 2026
@sonarqubecloud

sonarqubecloud Bot commented Aug 3, 2026

Copy link
Copy Markdown

@JoerivanEngelen JoerivanEngelen left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Given that we used the detached-environments in other jobs, I think this is worth trying.

@JoerivanEngelen
JoerivanEngelen merged commit 48afc21 into master Aug 3, 2026
8 checks passed
@JoerivanEngelen
JoerivanEngelen deleted the issue_#1896_investigate_failing_pixi_update branch August 3, 2026 10:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Investigate failing pixi update CI

2 participants