lint/lib
Marco Ferrari 94bb3f5563
feat: save super-linter output if requested (#5806)
- New SAVE_SUPER_LINTER_OUTPUT variable. When set to true,
  saves super-linter output to ${DEFAULT_WORKSPACE}/${SUPER_LINTER_OUTPUT_DIRECTORY_NAME}
- New SUPER_LINTER_OUTPUT_DIRECTORY_NAME variable to set the output
  directory name instide the default workspace.

Close #5774
2024-07-01 14:50:52 +02:00
..
functions feat: save super-linter output if requested (#5806) 2024-07-01 14:50:52 +02:00
linter.sh feat: save super-linter output if requested (#5806) 2024-07-01 14:50:52 +02:00