search

janicicpredrag / gclc

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
http://www.matf.bg.ac.rs/~janicic/gclc/
Other
53 stars 7 forks source link

CI: fix installation path used in testing #54

Closed Smattr closed 6 months ago

Smattr commented 6 months ago

This was a typo in 6fcde12a93497a2efb86f6733ea1be74c4daf85b.

I am a little confused how #52 somehow passed…