Replace unstable Azure Pipeline builds with Github actions.
Replace unstable Azure Pipeline builds with Github actions.

Github's caching task seems better.

[Build][Github]

tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus