issues Search Results · language:Dune language:Python language:Java language:Python language:JavaScript linked:pr linked:pr
Filter by
5.8M results
katgit - omit the unwanted config from config/companies.json
- disable the dummy config in config/companies.json
- add test config dir to .gitignore
pluto-atom-4
Action
Add new faculty entry
Name (as it appears in DBLP)
Xiangyu Zhao
Institution
City University of Hong Kong
Homepage URL
https://zhaoxyai.github.io
Google Scholar ID
Nkm9r2IAAAAJ
ORCID
0000-0003-2926-4416 ...
CSrankings form submission
pr-created
aivolcano
Currently, reverse_search errors if no matches are found, resulting in the server crashing.
bug
Priority: Medium
lukeroantreeONS
Problem
Layer 1 (universal) checks are currently inline inside giskard.py. This makes the separation between runner logic and
check logic blurry, and makes it harder to understand what is universal vs ...
Malstrom
Summary
팀 스페이스에서 사용할 단체 채팅 서버 기능을 구현합니다.
- 프로젝트 그룹별 채팅방 생성
- 메시지 저장/조회 REST API
- STOMP WebSocket 기반 실시간 메시지 브로드캐스트
- 메시지 읽음 상태 저장
- CORS 및 WebSocket 보안 설정
- 관련 단위/슬라이스/통합 테스트 추가
Validation ...
hwangjokim
Summary
Colonists complain about their housing with the same intensity regardless of colony age. A colonist moved into a
freshly-built level 1 hut (the only shelter available) will accuse the player of ...
sshcrack
Goal
Document the contract every framework module must respect so that adding a new framework is self-service.
Content
Required interface
# checks/frameworks/{framework}.py
from pathlib import Path ...
Automated other report for agent
fix(cli): resolve mandrel init sync step to the local bin instead of relying on PATH
Context
mandrel init (the one-command cold start in lib/cli/init.js) materializes the framework by running two steps ...
agent::done
persona::engineer
type::story
chrisbarrantes
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.
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.