Skip to content

Merge pull request #17 from gurzgri/devcontainerfix #33

Merge pull request #17 from gurzgri/devcontainerfix

Merge pull request #17 from gurzgri/devcontainerfix #33

Triggered via push January 24, 2024 17:09
Status Success
Total duration 14s
Artifacts
Linux build
3s
Linux build
Fit to window
Zoom out
Zoom in