Where do we find that rebbi akiva et al went up to Har Habayis?
I’m aware of the gemara at the end of makkos which states that they were overlooking har habayis.
That’s where they saw a fox in the kodesh kedoshim; the other rabbonim cried in sadness, but rebbi akiva laughed (since he felt it indicated that G-d would fulfill His prophesy Abbott rebuilding yerushalayim as well. )
Is there a specific source indicated that they actually went up on Har Habayis?