Closed opoudjis closed 2 years ago
https://github.com/metanorma/metanorma-docker/runs/4212213074?check_suite_focus=true
Asked @alexeymorozov for help
Updated checksum, it should work now. Further work would be done in fontist/formulas#109
Thanks!
Confirm fixed. Thanks!
https://github.com/metanorma/metanorma-docker/runs/4212213074?check_suite_focus=true