Labels Milestones

Search syntax

See the documentation for further details on search, operators, and filters.

"forgejo"

Include only results that match the term in quotes

assignee:<username>

Filter by assigned user

author:<username>

Filter by the author

is:all

All

is:closed

Closed

is:open

Open

mentions:<username>

Filter by mentioned user

modified:[>|<]<date>

Filter by last modified date

review:<username>

Filter by user who reviewed

sort:<by>:[asc|desc]

Sort by: created|comments|updated|deadline

Close

New pull request

0 Open 4 Closed 4 All

Label

Show archived labels

All labels No label

blocked

bug

priority!

quick-pick

Milestone

All milestones No milestones

Project

All projects No project

Open projects

Release roadmap

Author

All authors

Assignee

All assignees No assignee

EatOreo marfavi michael

Sort

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

0 Open 4 Closed 4 All

Label

Clear labels

blocked

bug

priority!

quick-pick

Milestone

No milestone

Projects

Clear projects

Open projects

Release roadmap

Assignee

Clear assignees

No assignee

EatOreo

marfavi

michael

Confirm to delete all selected items?

Cancel Confirm

Add inline versions of INV and SPEC clauses

priority!

4

#58 by EatOreo was merged 2026-10-28 10:21:28 +01:00

main

1 approval

Create proof files from templates

2

#28 by michael was merged 2026-10-23 15:46:21 +02:00

main

1 approval

Hook into VsRocq extension's API

2

#26 by EatOreo was merged 2026-10-14 15:09:39 +02:00

main

1 approval

Run CI in prebuilt images

2

#24 by marfavi was merged 2026-10-14 13:35:06 +02:00

main

1 approval