fed379c
Add code to flag PR with the results from the CI pipeline Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>