New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: add devcontainer #139

Merged

MartinBernstorff merged 13 commits into main from mb/feat_add_devcontainer

Oct 2, 2023

Merged

ci: add devcontainer #139

feat: pre-populate msic

This check has been archived and is scheduled for deletion. Learn more about checks retention

GitHub Actions / Test Results succeeded Oct 2, 2023 in 0s

All 15 tests pass in 1s

15 tests ±0 15 ✔️ ±0 1s ⏱️ -1s
  1 suites ±0   0 💤 ±0
  1 files ±0   0 ❌ ±0

Results for commit 73dcb46. ± Comparison against earlier commit ad0f51d.

View more details on GitHub Actions