Hi again, It seems that now it's working again. I am not sure if you changed anything, but thanks either way!
/Mario ________________________________ From: Mario Salazar de Torres <mario.salazar.de.tor...@est.tech> Sent: Tuesday, July 5, 2022 1:50 PM To: dev@geode.apache.org <dev@geode.apache.org> Subject: [CI] geode-native pipelines not being triggered Hi everyone, Alberto G. and myself noticed that currently no pipeline is being triggered for geode-native PRs, so we were wondering if you changed anything or it's just failing? And if it's failing, is there anyone with the proper permissions to look at it? BR, Mario.
