issues Search Results · language:Dune language:Python language:JavaScript language:Java
Filter by
54.5M results
Context
Setoid.Varieties.Closure.V-expa has the _⊆_-based signature
V-expa : ∀ ℓ ι → {𝒦 : Pred (Algebra α ρᵃ)(a ⊔ ov ℓ)} → 𝒦 ⊆ V ℓ ι 𝒦
where 𝒦 ⊆ V ℓ ι 𝒦 unfolds to ∀ {x} → x ∈ 𝒦 → x ∈ V ℓ ι 𝒦. Both ...
milestone-4-style
williamdemeo
Can you reproduce this bug on the Microsoft Teams web app (https://teams.microsoft.com)?
No
Describe the bug
Settings and login is not preserved
What package are you using?
deb
Version
2.10.0
Reproduction ...
bug
jsirex
Make update (v2.2) to: 1.21.7 1.21.5 1.21.4 1.21.1 1.20.1 1.19.2
R4mBLeR
Context
Setoid.Varieties.Closure.V is defined in a module parameterized by eight universe levels:
module _ {α ρᵃ β ρᵇ γ ρᶜ δ ρᵈ : Level} where
V : ∀ ℓ ι → Pred(Algebra α ρᵃ) (a ⊔ ov ℓ) → Pred(Algebra ...
milestone-4-style
요약
docs/specs/eventbus/eventbus.md는 account-scoped/system-wide 이벤트 목록에는 일부 이벤트를 언급하지만, 아래 중앙 이벤트 표에는 실제 발행·구독되는 이벤트 행이 빠져
있습니다.
기준
- 기준 커밋: 3c93086d157d
- docs/specs/eventbus/eventbus.md:53-61은 ...
docs
source:ante-oracle
joshua-jingu-lee
Type
Other
Operating System
Windows
OS Version
No response
Bug description
The Fishing Plug-in Doesn t Show ground tiles on fishing spots. I made sure they were on and restarted
Thanks!
Screenshots ...
needs-triage
RedsoxConrad
Summary
The cities2-mod-review skill already detects locally available external reviewers such as Claude, Codex, and
Antigravity/agy, then offers a multi-agent review for larger mod review tasks. Refine ...
mayor-modder
Summary
Research how Confluence Databases expose their schema and record format so the app can later read a schema from a
specific Confluence Database URL, persist it locally, and generate valid record ...
tfandkusu
My client has been crashing when I use this mod from a backpack. It seems it calls for PacketBufferExt which doesn t
exist in my version of Quickstack. Below is a log from a recent crash. I ve tried using ...
Torchead
Objective
Expose cleopatra s animation save / inline-embed machinery as glyph-independent helpers that operate on any
matplotlib.animation.FuncAnimation, not only on a Glyph s internal self.anim. Add ...
enhancement
MAfarrag
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.