You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, a tag is generated (i.e., bumped) after merging into the master branch and a pdf is added to the "released" wiki page, even if nothing changed in the .tex files. The result is that different pdf versions will have no changes between them. This can happen when merging changes in the workflow files without touch the Latex files.
The fix should be to check if any latex file changed in the introduced PR before bumping the tag and building the pdf file.
The text was updated successfully, but these errors were encountered:
At the moment, a tag is generated (i.e., bumped) after merging into the master branch and a pdf is added to the "released" wiki page, even if nothing changed in the
.tex
files. The result is that different pdf versions will have no changes between them. This can happen when merging changes in the workflow files without touch the Latex files.The fix should be to check if any latex file changed in the introduced PR before bumping the tag and building the pdf file.
The text was updated successfully, but these errors were encountered: