How often does the lab deploy updates

[paulzierep]

Without cache=false: https://labs.usegalaxy.org.au/?content_root=https://raw.githubusercontent.com/paulzierep/galaxy_tool_extractor/refs/heads/microgalaxy_lab/communities/microgalaxy/lab/base.yml&cache=false updates to the lab need a while to propagate to deployment:
https://microgalaxy.usegalaxy.eu/

How often are the pages newly generates ? @neoformit ?

[neoformit]

For now the cache time is 1 hour.
When this PR merges, change made via galaxy_codex PR will appear as soon as the GitHub workflow completes, and I will set the cache time to forever (until a request is made with cache=false, either by human or GH workflow).