Insert prelude at start of source file by default #716
Triggered via pull request
September 16, 2024 16:39
Status
Success
Total duration
14m 56s
Artifacts
–
Annotations
12 warnings