Instead of updating the workshop by running the workshop script locally it should be done whenever a new release is made by a github runner
Instead of updating the workshop by running the workshop script locally it should be done whenever a new release is made by a github runner