issues Search Results · language:Dune language:Python language:Java language:Java language:C# language:JavaScript linked:pr
Filter by
6.5M results
Problem
After the watermark→local-temp fix (#26), in-cluster measurement showed FFmpeg (0.27s/seg) and CPU (2.8/8) underused,
per-device concurrency 1, throughput ~14/s. The remaining bottleneck: the ...
enhancement
performance
This issue is created automatically to track contribution activity.
Updation
Problem
.github/workflows/node-ci.yml picks an install command by detecting a lockfile:
elif [ -f package-lock.json ]; then install= npm ci
else install= npm ci # ...
Add a DocumentsSyncService that scrapes the Schulnetz documents page (incl. Zeugnis report cards) via the captured web
session, downloads each new file s bytes, stores them in the blob store, and persists ...
feature
Create a new level with Provences containing islands, lakes and cities:
- noord Holland, Texel, Den Helder, Alkmaar, Purmerend, amsterdam, amstelveen, Zaandam, Haarlem, hilversum, Enkhuizen
Waters: ...
Add an endpoint to download a filestore document s raw bytes via a captured web session (PHPSESSID + relative
download_url + UA), so clients can fetch report cards / documents that are only reachable through ...
feature
Checkup jobs can fail to post trusted GitHub issue/PR comments with HTTP 401: Bad credentials even while the worker
refreshes PDD_GH_TOKEN_FILE.
Cause:
- Several trusted gh subprocess calls in agentic_common.py ...
Summary
The Refresh devcontainer pin PR workflow (.github/workflows/devcontainer-pin-refresh.yml) fails on every run that
actually has a behind pin PR to refresh.
Symptom
Failed job log (run 27074638550 ...
bug
ci
layer:p3-harness
type:fix
Summary
Setup respx router, httpx.AsyncClient with the Translator ASGI app, and fakeredis backend in
tests/integration/conftest.py.
Problem
We need the foundational fixtures and mocking infrastructure ...
area:tests
priority:medium
status:claimed
type:test

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.