Skip to content

Update CI workflow and Makefile#19

Merged
ruicoelhopedro merged 36 commits intomainfrom ciNov 30, 2023

Commits

Commits on Oct 3, 2023

Commits on Nov 18, 2023

Commits on Nov 19, 2023

Commits on Nov 21, 2023

Commits on Nov 22, 2023

Commits on Nov 29, 2023