pullrequests Search Results · language:Dune language:JavaScript language:Python language:HTML language:JavaScript language:Java
Filter by
213M results
oneimperfectthe
This PR contains the following updates:
| Package | Type | Update | Change |
| --- | --- | --- | --- |
| ghcr.io/ngarside/authentik (source) | image | patch | 2026.5.3.507 → 2026.5.4.551 |
Configuration ...
renovate-ng[bot]
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
pull[bot]
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Adds a bounded general finite-rank termination theorem schema and verifier.
Validation:
- python3 tools/verifier/verify_finite_rank_termination.py
- python3 tools/verifier/verify_general_finite_rank_termination_schema.py ...
inaciovasquez2020
sebhubWhat
Restored a valid package.json with minimal scripts.
Why
CI fails because package.json is missing or malformed (ENOENT / JSON parse error).
emrecancc
What
Restored a valid package.json with minimal scripts.
Why
CI fails because package.json is missing or malformed (ENOENT / JSON parse error).
Remove leftover Feasibility requested / Marked Feasible / Booking confirmed stage history entries from mock leads — the
flow no longer has a Feasibility or Booked stage. Converted entries now read Intercom ...
razamdaadil01
Automated test pull request
aws-aemilia-fra