At 9/12/2020 01:54 PM, Hubert Tong wrote: >The problem went away (bot is green again), so it might not have been you: ><http://lab.llvm.org:8011/builders/openmp-gcc-x86_64-linux-debian>http://lab.llvm.org:8011/builders/openmp-gcc-x86_64-linux-debian Do I need to click the Rebuild button on the results page?