Closed dannywillems closed 5 months ago
@dannywillems Thanks for testing! For convenience and integrity, we'll use CI to update the dist folder. We disabled automatic CI updates due to potential breaking changes. @emil-vdw You can manually trigger the GitHub workflow to update the dist folder and close the PR as well as related issues then.
@zerolfx I ran the workflow but it resulted in an authentication error. Maybe related to the repo move or the token just expired? Anyway I don't have access to be able to fix it myself. If you wouldn't mind checking the secrets.GITHUB_TOKEN
is correct.
@emil-vdw Fixed. Please also help on updating the CI to remove old files from the dist directory.
Update handled by workflow. #242 opened to remove dist files that have been removed upstream.
Updating dist directory. I am not sure it is the only changes to perform. I'm testing on my machine with the branch dw/main.
Something like: