Skip to content

Add a github actions workflow to build on push/PR#27

Merged
mutability merged 2 commits intodevfrom
ci-workflows
Mar 30, 2026
Merged

Add a github actions workflow to build on push/PR#27
mutability merged 2 commits intodevfrom
ci-workflows

Commits

Commits on Mar 30, 2026