Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: remove outdated docker directory #620

Merged
merged 2 commits into from
May 23, 2024
Merged

Conversation

johannesvedder
Copy link
Contributor

No description provided.

@github-actions github-actions bot added documentation Improvements or additions to documentation docker labels May 13, 2024
Copy link

github-actions bot commented May 13, 2024

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ ACTION actionlint 1 0 0.02s
✅ MARKDOWN markdownlint 1 0 0 0.47s
✅ MARKDOWN markdown-link-check 1 0 1.28s
✅ MARKDOWN markdown-table-formatter 1 0 0 0.22s
✅ REPOSITORY git_diff yes no 0.05s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by OX Security

@johannesvedder johannesvedder marked this pull request as ready for review May 23, 2024 09:11
@johannesvedder johannesvedder merged commit 9985dcd into dev May 23, 2024
7 of 9 checks passed
@johannesvedder johannesvedder deleted the chore/update-cli branch May 23, 2024 09:19
@johannesvedder johannesvedder changed the title chore: remove outdated cli chore: remove outdated docker directory May 23, 2024
@johannesvedder johannesvedder mentioned this pull request Jul 1, 2024
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docker documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant