Can't run spec on AWS

[Jason Xu]

Followed the steps on https://tla.msr-inria.inria.fr/tlatoolbox/doc/cloudtlc/ but I keep getting an error saying that credentials are invalid. I have checked my environment variables and the access key / secret key and they are correct. Could toolbox not be up to date to use this feature?

Thanks.

[Markus Kuppe]

Can you open a new issue at https://github.com/tlaplus/tlaplus/issues
and attach the error message that you are seeing?

Thanks,
Markus