Stephane Nicoll 24674edbc5 Polish "Migrate building PRs to GitHub Action" ...

See gh-345

2023-05-26 08:53:46 +02:00

..

pr-build-workflow.yml

Polish "Migrate building PRs to GitHub Action"

2023-05-26 08:53:46 +02:00