https://github.com/euroargodev/ArgoData.jl/pull/71 should have triggered the CI action to go. why didn't it?