pullrequests Search Results · language:Dune language:Python language:JavaScript language:TypeScript language:HTML language:HTML
Filter by
256M results
What
Ports the source-only proof-gap detection idea from the sibling repo isa-blueprint (isabelle/source_index.py, MIT, same
owner) into this extension as live, prover-free diagnostics on .thy files. ...
Arthur742Ramos
…ero) – Marke Bilder erhalten
mikasieber-tm
psoussaSummary
- Replace warning: any in BPMN moddle warning mapper with { message?: string }.`n
Test plan
- [x] npm run compile
Made with Cursor
vkgeorgia
Renders reposts_count next to the repost icon (X/Bluesky parity), with optimistic adjustment on repost/undo. Pairs with
platform PR #1640 which adds the count to the DTO + repost notifications.
jotto141
Summary
- Set PUPPETEER_SKIP_CHROMIUM_DOWNLOAD=true in Netlify s build environment
Root Cause
When puppeteer was added as a regular dependency in e163f66 (June 3), Netlify s npm ci started downloading ...
NationalSports
Stacked on #1004 (base 036-nx-to-turborepo). GitHub auto-retargets to develop when #1004 merges.
What — Stage A of the Nx→Turborepo migration (spec 036, FR-017 Phase 1)
Introduce Turborepo alongside ...
ArnoSoontjens
pradeepdash-ey
Audit remediation (finding F4) — a privilege-escalation + trust-and-safety hole in reports.
What was wrong (verified live via pg_policies)
1. Moderator self-promotion. Moderators can view all reports ...
NatoDoyle
pat442deja