smt: add more smt conversions #110
ekiwi
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: push
Check Semantic Versioning
21s
Check Formatting
9s
Matrix: Try Examples
Matrix: Unit Tests