Add github actions#7

Open

LeonarddeR wants to merge 5 commits intoSCons:masterfrom

LeonarddeR:actions

Commits on Apr 28, 2025

Commits on May 2, 2025

Commits on May 3, 2025

No need for cache/restore and cache/save, cache alone is sufficient
LeonarddeR
committed