Skip to content

Unify repo naming: drop devcontainer- prefix, publish under devcontainers/ #52

Unify repo naming: drop devcontainer- prefix, publish under devcontainers/

Unify repo naming: drop devcontainer- prefix, publish under devcontainers/ #52

Triggered via pull request April 1, 2026 03:42
Status Success
Total duration 3m 16s
Artifacts –

ci.yml

on: pull_request
Detect changes
5s
Detect changes
Actionlint
14s
Actionlint
Matrix: lint-dockerfiles
Matrix: build-and-verify
Fit to window
Zoom out
Zoom in