syntaqxLive pages refresh only for what they show, and less often: on a busy repository every branch's pushes and every commit's checks reached the Code page, so it reloaded every few seconds for changes it does not draw. A page of files now hears pushes to its own branch, a branch made or deleted (the branch menu and count), tags, releases, deployments and the checks of the commit it shows, not another branch's pushes or another commit's checks; Commits hears checks on the commits it lists, and the overview its own commit's checks and pull requests' finished ones. Whatever arrives, a page refreshes at most every two seconds, and a tab out of view no longer refreshes once a minute: it waits and catches up once when it comes back. Pages that ask again on a timer while something runs (a pull request's checks, a run, the Work page) count from the page's last refresh, whoever made it, so a live change and the timer no longer refresh twice in a row, and a tab out of view asks once on coming back. Checked: the site's typecheck, its 904 tests (new: what a page of files, Commits and the overview hear, a burst of changes every 100 ms for a minute refreshing no more than once per two seconds yet at least every five, a hidden tab holding with no timer and catching up at once) and a production build.ce5f447History
- ..
- 0001_init.sql
- 0002_projects.sql
- 0003_paused.sql
- 0004_redirects.sql
- 0005_domains.sql
- 0006_replaced_and_down.sql
- 0007_repo_deleted.sql
- 0008_detected.sql
- 0009_workspace_deleted.sql
- 0010_repo_deployments.sql
- 0011_workflow_builds.sql
- 0012_via_workflow.sql
- 0013_workflow_build_jobs.sql
- 0014_containers.sql
- 0015_telemetry.sql