ci: also check for uncompiled SCSS styles

[susnux]

• Follow up on fix(dist): Make sure changed icons are compiled #45712

Also check that changes of scss files are compiled to css in PRs.

[nickvergessen]

/backport 995aa67 to stable29

[nickvergessen]

/backport 995aa67 to stable28

[nickvergessen]

Binary files a/core/css/server.css and b/core/css/server.css differ

[susnux]

Binary files a/core/css/server.css and b/core/css/server.css differ

Yes someone merge something in the meantime. Rebased, should work now.

[backportbot]

The backport to stable28 failed. Please do this backport manually.

# Switch to the target branch and update it
git checkout stable28
git pull origin stable28

# Create the new backport branch
git checkout -b backport/46275/stable28

# Cherry pick the change from the commit sha1 of the change against the default branch
# This might cause conflicts, resolve them
git cherry-pick 995aa67f

# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/46275/stable28

Error: Failed to cherry pick commits: error: no cherry-pick or revert in progress
fatal: cherry-pick failed

---

Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports.

[backportbot]

The backport to stable29 failed. Please do this backport manually.

# Switch to the target branch and update it
git checkout stable29
git pull origin stable29

# Create the new backport branch
git checkout -b backport/46275/stable29

# Cherry pick the change from the commit sha1 of the change against the default branch
# This might cause conflicts, resolve them
git cherry-pick 995aa67f

# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/46275/stable29

Error: Failed to cherry pick commits: error: no cherry-pick or revert in progress
fatal: cherry-pick failed

---

Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports.

[susnux]

/backport to stable29

[susnux]

/backport to stable28

[backportbot]

The backport to stable29 failed. Please do this backport manually.

# Switch to the target branch and update it
git checkout stable29
git pull origin stable29

# Create the new backport branch
git checkout -b backport/46275/stable29

# Cherry pick the change from the commit sha1 of the change against the default branch
# This might cause conflicts, resolve them
git cherry-pick 98c143ec

# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/46275/stable29

Error: No changes found in backport branch

---

Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports.

[backportbot]

The backport to stable28 failed. Please do this backport manually.

# Switch to the target branch and update it
git checkout stable28
git pull origin stable28

# Create the new backport branch
git checkout -b backport/46275/stable28

# Cherry pick the change from the commit sha1 of the change against the default branch
# This might cause conflicts, resolve them
git cherry-pick 98c143ec

# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/46275/stable28

Error: No changes found in backport branch

---

Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports.