Check and Build Ligo

mini_c: add additional renames to avoid name collision #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Ligo ubuntu-24.04	27m 53s
Build Ligo macos-14	29m 35s
	57m 28s