Labels Milestones

Search syntax

is:open	Open
is:closed	Closed
is:all	All
author:<username>	Filter by the author
assignee:<username>	Filter by assigned user
review:<username>	Filter by user who reviewed
mentions:<username>	Filter by mentioned user
sort:<by>:[asc|desc]	Sort by: created/comments/updated/deadline
modified:[>|<]<date>	Filter by last modified date

Cancel

New pull request

0 Open 1 Closed 1 All

6 hours 15 minutes

Label

Show archived labels

Use Alt + Click to exclude labels

All labels No label

Compat/Breaking

Kind/Bug

Kind/Documentation

Kind/Enhancement

Kind/Feature

Kind/Security

Kind/Testing

Priority

Critical

Priority

High

Priority

Low

Priority

Medium

Reviewed

Confirmed

Reviewed

Duplicate

Reviewed

Invalid

Reviewed

Won't Fix

Status

Abandoned

Status

Blocked

Status

Need More Info

Milestone

All milestones No milestones

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

q9i

Sort

Relevance Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 1 Closed 1 All

6 hours 15 minutes

Label

Clear labels

Compat/Breaking

Kind/Bug

Kind/Documentation

Kind/Enhancement

Kind/Feature

Kind/Security

Kind/Testing

Priority

Critical

Priority

High

Priority

Low

Priority

Medium

Reviewed

Confirmed

Reviewed

Duplicate

Reviewed

Invalid

Reviewed

Won't Fix

Status

Abandoned

Status

Blocked

Status

Need More Info

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

q9i

Do liquidhaskell checking with z3 in Nix at build time

6 hours 15 minutes

5

#2 by youwen was closed 2025-12-29 17:25:40 -08:00

main

1 approval 2 conflicting files