leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

CI correctness fix #101

Closed bentoner closed 2 years ago

bentoner commented 2 years ago

Another correctness fix to the debugging code I added to the build script yesterday. Not a cause of build failures and doesn't need to be included on branches other than master.