Override codegen version commit hash in PR diffs (#1636)
* Override codegen version commit hash in PR diffs * Move version commit hash override to shell script
Loading
Please register or sign in to comment
The Gitlab issues have been resolved. Unfortunately, CI traces, artifacts, and the package registry could not be preserved, but we hope that everything can be regenerated. We apologize for the inconvenience.
If you encounter any further problems, please contact simon.buttgereit@tu-ilmenau.de
* Override codegen version commit hash in PR diffs * Move version commit hash override to shell script