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
Sent: Tuesday, July 5, 2022 1:50 PM
To: dev@geode.apache.org
Subject: [CI] geode-native pipelines not
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.
