A test to check if everything for the workshop is installed.
Primary LanguageLean
This repository is not active