Skip to content

remove github services for devcontainers #12

remove github services for devcontainers

remove github services for devcontainers #12

Triggered via pull request July 12, 2024 13:57
@bborttbbortt
synchronize #12
fix/ci-cd
Status Success
Total duration 41s
Billable time 2m
Artifacts

pr.yml

on: pull_request
Pull-Request Labels
2s
Pull-Request Labels
Commit Verification
28s
Commit Verification
Fit to window
Zoom out
Zoom in