Skip to content

Pull requests: zilverline/sequent

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

sequent 8 use tty prompt
#430 opened Nov 14, 2024 by lvonk Loading…
Bump rexml from 3.3.8 to 3.3.9 in /docs dependencies Pull requests that update a dependency file
#428 opened Oct 28, 2024 by dependabot bot Loading…
Sequent 8
#427 opened Oct 22, 2024 by erikrozendaal Draft
ProTip! Follow long discussions with comments:>50.