This repository has been archived by the owner on Dec 31, 2022. It is now read-only.

Fix Stai template binary name #172

Open

MartijnGevaert wants to merge 1 commit into gilnobrega:main from MartijnGevaert:stai_template_binary_fix

MartijnGevaert commented Jan 24, 2022 •

edited

I noticed the stai binary name is wrong in the template.
I verified that this fixes the issue by:

Cloning the Stai repo and building
Installing the Stai binary

Both done on Ubuntu.

Fixes #158


          Fix the stai binary name

dbad5e1

Netting-Starrs approved these changes

View reviewed changes

Netting-Starrs left a comment

fixed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.