Skip to content

chore(.devcontainer): rename .devcontainer directories #738

chore(.devcontainer): rename .devcontainer directories

chore(.devcontainer): rename .devcontainer directories #738

Triggered via pull request November 7, 2024 06:36
Status Success
Total duration 14s
Artifacts

health-check.yaml

on: pull_request
label-check  /  make-sure-label-is-present
0s
label-check / make-sure-label-is-present
load-env  /  load-env
load-env / load-env
Matrix: docker-build
Fit to window
Zoom out
Zoom in