allow to run flaky tests in PR

[3nids]

No description provided.

[Gustry]

Hum, good idea this implementation ...
GH Actions is opening the door to new things !

[3nids]

@nyalldawson FYI

Failing tests:
195 - qgis_ziplayertest (Failed)
231 - qgis_filedownloader (Failed)
271 - qgis_wcsprovidertest (Timeout)
675 - PyQgsMssqlProvider (Failed)

Listed as flaky but not failing:
PyQgsWFSProviderGUI

[3nids]

Hum, good idea this implementation ...
GH Actions is opening the door to new things !

Actually, it was available in Travis, but we had to use Github API to fetch the PR info for this. It is so much easier and cleaner with workflows now...

[github-actions]

The backport to release-3_18 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-release-3_18 release-3_18
# Navigate to the new working tree
cd .worktrees/backport-release-3_18
# Create a new branch
git switch --create backport-42103-to-release-3_18
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 8d905865b2e3249e615b345c3bcff86f6bda3cb4
# Push it to GitHub
git push --set-upstream origin backport-42103-to-release-3_18
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-release-3_18

Then, create a pull request where the base branch is release-3_18 and the compare/head branch is backport-42103-to-release-3_18.

[github-actions]

The backport to release-3_16 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-release-3_16 release-3_16
# Navigate to the new working tree
cd .worktrees/backport-release-3_16
# Create a new branch
git switch --create backport-42103-to-release-3_16
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 8d905865b2e3249e615b345c3bcff86f6bda3cb4
# Push it to GitHub
git push --set-upstream origin backport-42103-to-release-3_16
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-release-3_16

Then, create a pull request where the base branch is release-3_16 and the compare/head branch is backport-42103-to-release-3_16.