Create a github workflow to update generated files #8

Closed dthaler closed 9 months ago