Skip to content

chore: make shell scripts executable #670

chore: make shell scripts executable

chore: make shell scripts executable #670

Triggered via push October 16, 2023 12:36
Status Success
Total duration 44s
Artifacts
Linting
27s
Linting
Compile source code
28s
Compile source code
Fit to window
Zoom out
Zoom in