Skip to content

Update docker building docs#1875

Merged
JoerivanEngelen merged 3 commits into
masterfrom
update_docker_building_docs
Jun 30, 2026
Merged

Update docker building docs#1875
JoerivanEngelen merged 3 commits into
masterfrom
update_docker_building_docs

Conversation

@JoerivanEngelen

@JoerivanEngelen JoerivanEngelen commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Fixes #1874

Description

I build a new version of the Docker image and pushed it to the repository. This PR:

  • Updates the dev docs with an important detail
  • Use the recent docker image

This caused a stall of #1870

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

@sonarqubecloud

Copy link
Copy Markdown

@JoerivanEngelen JoerivanEngelen merged commit e223ba7 into master Jun 30, 2026
8 checks passed
@JoerivanEngelen JoerivanEngelen deleted the update_docker_building_docs branch June 30, 2026 13:53
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.

Update docker container to recent pixi version

1 participant