Skip to content

Reformulate dev environment as a Dockerfile-based devcontainer#1

Merged
MatejGomboc merged 2 commits into
mainfrom
reformulate-as-devcontainer
Jun 17, 2026
Merged

Reformulate dev environment as a Dockerfile-based devcontainer#1
MatejGomboc merged 2 commits into
mainfrom
reformulate-as-devcontainer

Pin GitHub Actions to full commit SHAs

9a1ca1c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar