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_own_provider.sql
- 0003_subscriptions.sql
- 0004_sandbox_time.sql
- 0005_limits.sql
- 0006_prices.sql
- 0007_pending_usage.sql
- 0008_accounts.sql
- 0009_autopay.sql
- 0010_month_close.sql
- 0011_limit_warnings.sql
- 0012_stripe_webhooks.sql
- 0013_invoices_trust_sales.sql
- 0014_custom_domain_price.sql
- 0015_sandbox_at_cost.sql
- 0016_plans_and_pools.sql
- 0017_flagon_comped.sql
- 0018_one_plan.sql
- 0019_closed_workspaces.sql
- 0020_syntaqx_standard.sql
- 0021_no_quotas.sql
- 0022_costs_and_margin.sql
- 0023_one_operation_mapping.sql
- 0024_spend_caps.sql
- 0025_run_tier.sql
- 0026_ledger_by_workspace_time.sql
- 0027_stripe_cache.sql
- 0028_drop_stripe_webhooks.sql
- 0029_audit_retention.sql
- 0030_token_usage.sql
- 0031_package_storage.sql
- 0032_workspace_value.sql
- 0033_given_away.sql
- 0034_given_by_why.sql
- 0035_cf_subscriptions.sql
- 0036_model_costs_in_full.sql
- 0037_security_activation.sql
- 0038_staff_credits.sql
- 0039_discounts_not_comped.sql
- 0040_ai_credit.sql
- 0041_agent_rate_own_key.sql
- 0042_agent_rate_weights.sql
- 0043_tax_and_card_fees.sql
- 0044_cache_reads_count_a_tenth.sql
- 0045_gateway.sql
- 0046_reset_costs.sql
- 0047_gateway_formats.sql
- 0048_model_catalogue.sql
- 0049_superseded_proposals.sql
- 0050_ledger_usage_by_time.sql
- 0051_platform_guardrails.sql
- 0052_cloudflare_cycle.sql
- 0053_models_at_cost.sql
- 0054_agent_attribution.sql
- 0055_app_containers.sql
- 0056_sandbox_standard_3.sql
- 0057_runner_minutes.sql