Skip to content

Add dev container.#153

Merged
jenskeiner merged 1 commit into
developfrom
feature/devcontainer
Sep 14, 2025
Merged

Add dev container.#153
jenskeiner merged 1 commit into
developfrom
feature/devcontainer

Conversation

@jenskeiner

Copy link
Copy Markdown
Contributor

This PR adds a devcontainer configuration which can e.g. be used conveniently in VS Code to set up the dev environment.

@codspeed-hq

codspeed-hq Bot commented Sep 11, 2025

Copy link
Copy Markdown

CodSpeed Performance Report

Merging #153 will not alter performance

Comparing feature/devcontainer (35947c1) with develop (f661865)

Summary

✅ 1056 untouched benchmarks

@michaelquellmalz michaelquellmalz left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I did not have the right setup to test it, but I do not see any problems in merging it.

@michaelquellmalz michaelquellmalz added enhancement build routine Topics concerning the build routine. labels Sep 14, 2025
@jenskeiner

Copy link
Copy Markdown
Contributor Author

I did not have the right setup to test it, but I do not see any problems in merging it.

I use VS Code with the Dev Containers extension. It's helpful because I can test OpenMP-related functionality in a Linux container while my macOS host doesn't support OpenMP out of the box.

@jenskeiner jenskeiner merged commit f6d5131 into develop Sep 14, 2025
51 checks passed
@michaelquellmalz michaelquellmalz deleted the feature/devcontainer branch September 15, 2025 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build routine Topics concerning the build routine. enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants