opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

chore: fix encoding issues #731

Closed tobiasgrosser closed 5 days ago

tobiasgrosser commented 5 days ago

When rebuilding the test cases I run into encoding issues that lead to the error:

codec can't decode byte 0xe2 in position

This change fixes this issue.

github-actions[bot] commented 5 days ago

Alive Statistics: 89 / 93 (4 failed)

lfrenot commented 5 days ago

Looks good to me