This repository has been archived on 2025-06-02. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Pierre-Yves Chibon fed379c81b Add code to flag PR with the results from the CI pipeline ... Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>		2018-08-08 17:59:08 +02:00
..
debug	Give up on the string concatenation	2018-08-08 15:40:26 +02:00
flag_build_commits	Drop logging, will make debugging easier	2018-08-08 17:18:30 +02:00
flag_ci_pr	Add code to flag PR with the results from the CI pipeline	2018-08-08 17:59:08 +02:00