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_text_ids.sql
- 0003_unique_email.sql
- 0004_email_verification.sql
- 0005_token_expiry.sql
- 0006_device_codes.sql
- 0007_rfc3339_timestamps.sql
- 0008_workspaces.sql
- 0009_oauth.sql
- 0010_workspace_tokens.sql
- 0011_agent_tokens.sql
- 0012_avatars.sql
- 0013_profiles.sql
- 0014_workspace_redirects.sql
- 0015_run_credentials.sql
- 0016_deleted_workspaces.sql
- 0017_github.sql
- 0018_invites.sql
- 0019_user_emails.sql
- 0020_access.sql
- 0021_waitlist_notices.sql
- 0022_token_scopes.sql
- 0023_retire_token_reach.sql
- 0024_g1t_name.sql
- 0025_workspace_soft_delete.sql
- 0026_workspace_residency.sql
- 0027_teams.sql
- 0028_team_creation.sql
- 0029_workspace_aliases.sql
- 0030_job_tokens.sql
- 0031_membership.sql
- 0032_two_factor.sql
- 0033_identity_jobs.sql
- 0034_fine_grained_tokens.sql
- 0035_deploy_keys.sql
- 0036_email_confirmation_codes.sql
- 0037_account_deletion.sql
- 0038_shared_invites.sql
- 0039_profile_timezone.sql
- 0040_workspace_invitations.sql
- 0041_one_kind_of_token.sql
- 0042_username_case.sql
- 0043_website_tokens.sql
- 0044_dock_pins.sql
- 0045_people_and_teams.sql
- 0046_sound_settings.sql
- 0047_suspension.sql
- 0048_ask_tokens.sql