lint/.devcontainer/devcontainer.env
Marco Ferrari 5e2c028e0f
ci: update devcontainer definition (#5132)
- Remove unneeded 'context' directive
- Update the list of extensions to install
- Configure tasks to run super-linter
- Remove redundant README
- Remove outdated launch configurations and scripts
2024-01-30 12:09:46 +01:00

5 lines
143 B
Bash

ACTIONS_RUNNER_DEBUG=true
DEFAULT_BRANCH=main
DEFAULT_WORKSPACE=/workspaces/super-linter
ENABLE_GITHUB_ACTIONS_GROUP_TITLE=true
RUN_LOCAL=true