pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:Java language:HTML
Filter by
209M results
Unified replay for noseglasses/elf_diff
Bumps @faker-js/faker from 9.0.3 to 10.4.0. details summary Release notes /summary p em Sourced from a href=
https://github.com/faker-js/faker/releases @faker-js/faker s releases /a . /em /p blockquote ...
Summary
Add missing manifest for github.com/GroupMountain/InventoryCheck@0.11.0.
Source Repository
- github.com/GroupMountain/InventoryCheck
…threshold
Base: #25 (fix/crash-and-routing). Stack on top of the crash/routing fixes.
What
Adds two new hard-signal oracles to the agent s per-step detection pipeline.
CONSOLE_ERROR oracle
- src/agent/signals.js ...
Automated re-open (ADR-009, SPEC-009-A): all of sum-four-sq-ge-two-cross s decomposition sub-lemmas are proved, so the
parent returns to open and can be proved with the subs as imports. It still closes ...
This pull request is part of the PROD-READINESS-CAMPAIGN-20260614 and focuses on improving dependency security, CI/CD
hardening, and project documentation for compliance and maintainability. The most important ...
…ection variants: center/up/down/left/right, speed variants: fast/slow, compatible with ease-delay-* classes, pure CSS
zero JS. Closes #3877
Pull Request Description
!-- Briefly describe what you re ...
accepted
animation
contribution
gssoc:approved
GSSoC-26
integrated
level:intermediate
type:feature
Summary
Add missing manifest for github.com/GroupMountain/InventoryCheck@0.10.1.
Source Repository
- github.com/GroupMountain/InventoryCheck