pullrequests Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:HTML language:Python
Filter by
174M results
Why
Local-verify test today returned Accepted in 4 min 29 sec — first time we ve seen sub-30-min Apple notary processing on
this account. Prior three Accepted submissions had taken 13, 14, and 18 hours ...
warlordofmars
kody-wReplaces zero_rank_reached_within_rank_axiom with a theorem proved by strong induction from step_rank_drop,
terminal_iff_zero_rank, nstep_zero, and nstep_succ.
Boundary: relative theorem closure only. ...
inaciovasquez2020
Summary
Fixes LATENCY_ISSUES #28 — keep-event-handler made up to three synchronous, blocking requests.post() calls to the
gateway s /sse/notify per Kafka message (each timeout=5). Because the consumer ...
Yarin-Shitrit
Implement player walking and environmental animations to make the game more lively and interractive
Kelvin-Mutugi
Summary
- Add v* tag trigger for developer-preview ISO releases
- Grant workflow contents write permission for release publishing
- Publish QEMU-smoke-tested ISO and checksum as a GitHub prerelease ...
atxgreene
Summary
Phase 3 (plan) — This PR contains the implementation plan (plan.md) and optional supporting artifacts, generated from
the clarified spec.
Issue: PR review scaffolding 403 on cross-identity thread ...
ai-auto-merge-allowed
bug
speckit:phase-1-complete
speckit:phase-2-complete
speckit:phase-3
speckit:processing
speckit
acmarsnik
This submission finalizes the Free Fire UID Verification API to the APEX v3.0 UNLIMITED standard. Every file in
the 33-file manifest has been fully implemented or refined to ensure zero-shortcut, production-ready ...
storybad175-creator
Trekyourway
This PR configures your project for Cloudflare Workers deployment using Wrangler autoconfig.
Merging this PR commits the configuration to your repository, enabling faster deployments and version controlled ...
cloudflare-workers-and-pages[bot]