pullrequests Search Results · language:Dune language:HTML language:JavaScript language:JavaScript language:Python
Filter by
175M results
Summary
- Change the frontend session timer display from 会话剩余 mm:ss to raw remaining seconds with an (s) suffix, e.g. 3600(s).
- Preserve existing invalid/expired behavior: no display for invalid ...
Closes #73 Closes #74 Closes #88
변경 내역
- routes/challenge.py: SELECT+INSERT를 단일 db() 트랜잭션으로 합침 — TOCTOU 동시성 결함 제거 (#74). challenge_id_int = 0 양수 범위 검증 추가
(#88)
- services/score_service.py: recalculate_score ...
배경
협업 진단(인사팀+조직운영) 1순위 = ** 인원수=건강도 의 거짓말 해소**. 건강도 공식을 한 번에 뒤집으면 로그 짧은 초기엔 전부 빨강으로 오판 → 먼저 마지막 접속 을 가시화(오판 위험 0)하고 공식
교체는 2차로.
변경
- 로그인 기록 30일 집계 → user별 마지막 접속(lastSeen). 오늘 접속도 같은 fetch에서 파생(중복 ...
When minimizing a coqchk failure (--chk), the load-path options (-Q/-R/-I) and -coqlib were being stripped from the
coqchk command line, so coqchk couldn t find the libraries it was asked to check.
Root ...
Motivation
- Reduce user errors when entering match scores by preventing out-of-order set entry and surfacing per-court
completion state.
- Prevent bad saves from partially-filled courts and duplicate ...
codex
Summary
- Make /me/ a participant profile page with editable basic info, badges, attendance, and project summary.
- Add /projects/ as the participant project workspace for project create/edit, material ...
- File accepted OOS items before the Python ship driver so OOS evidence is committed before merge
- Preserve the ship security-sidecar stall while removing accepted-OOS filing from ship itself
...