Skip to content

Unify docker devcontainer with dockerfile used for CI #84

Unify docker devcontainer with dockerfile used for CI

Unify docker devcontainer with dockerfile used for CI #84

Triggered via pull request November 29, 2023 00:35
Status Success
Total duration 4m 7s
Artifacts

docker.yml

on: pull_request
Fit to window
Zoom out
Zoom in