Skip to content

Fix indentation in make_header.sh script and remove ls command #4

Fix indentation in make_header.sh script and remove ls command

Fix indentation in make_header.sh script and remove ls command #4

Triggered via pull request April 18, 2024 02:19
Status Success
Total duration 26s
Artifacts

ci.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in