Skip to content

pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:Java language:HTML

Filter by

209M results  (2 s)

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

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