Skip to content

Pull requests: JetBrains-Research/rocqstar-rag

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
Assigned to nobody Loading
Sort

Pull requests list

Bump js-yaml from 4.1.0 to 4.1.1 in /big-rocq dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#16 opened Nov 16, 2025 by dependabot bot Loading…
Bump axios from 1.8.2 to 1.12.0 in /big-rocq dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#15 opened Sep 13, 2025 by dependabot bot Loading…
Bump transformers from 4.50.0 to 4.53.0 in /proof-embeddings dependencies Pull requests that update a dependency file python Pull requests that update python code
#14 opened Aug 6, 2025 by dependabot bot Loading…
Bump tmp from 0.2.3 to 0.2.4 in /big-rocq dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#13 opened Aug 6, 2025 by dependabot bot Loading…
Bump form-data from 4.0.0 to 4.0.4 in /big-rocq dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#12 opened Jul 22, 2025 by dependabot bot Loading…
Bump torch from 2.7.0 to 2.7.1 in /proof-embeddings dependencies Pull requests that update a dependency file python Pull requests that update python code
#9 opened Jun 18, 2025 by dependabot bot Loading…
Agentic System
#8 opened May 23, 2025 by khram2003 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.