Skip to content

Makefile: Remove generated files before regenerating #492

Makefile: Remove generated files before regenerating

Makefile: Remove generated files before regenerating #492

Triggered via pull request December 17, 2024 23:31
Status Success
Total duration 13s
Artifacts

pr-format-verification.yml

on: pull_request
Check PR title
0s
Check PR title
Fit to window
Zoom out
Zoom in