OK, that should do it. And checked the actions to make sure it worked on all three platforms.
The new actions thing is neat; so that's our new build checker? Nice! The little check marks next to the commits are a good way to see if things worked or not.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.