v0.48.0

What's Changed

• Add test workflow by @Baltoli in #1
• Minor housekeeping by @Baltoli in #2

New Contributors

• @Baltoli made their first contribution in #1

Full Changelog: https://github.com/runtimeverification/mx-sdk-rs-flake/commits/v0.48.0