Run TLC model checker in Azure

[Kapil Agarwal <kapi...@xxxxxxxxx>]

Hi

I am trying to run TLA+ model checker in Azure. Following the guide at https://tla.msr-inria.inria.fr/tlatoolbox/doc/cloudtlc/index.html, I have set up the certificate and environment variables. I get the following error on running the model checker-

"Could not setup any viable authentication method "

Any help is appreciated.

Thanks

Kapil