Skip to content

Remove unneded *.a and directories - #17

Merged
rodrigomelo9 merged 1 commit into
mainfrom
opt-and-clean-up
Oct 3, 2026
Merged

rodrigomelo9 merged 1 commit into
mainfrom
opt-and-clean-up

Remove unneded *.a and directories

33ef172
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

4 warnings and 1 notice
deploy (synthesis)
succeeded Oct 3, 2026 in 40m 20s