Automate build validation via github actions

Open

#1,242 opened on Nov 4, 2024 1 comment 0 reactions 0 assignees View on GitHub

Description

I intentionally submitted a PR but it was immediately closed: #1241

I think this change would be broadly useful to the community. Please let me know how I should proceed.

This issue has not been assessed yet.