Skip to content

Pull requests: isselab/HAnS

New pull request New
10 Open 77 Closed
10 Open 77 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Simple code folding builder #100
#115 opened Jan 7, 2025 by 51DR4 Loading…
Bump org.jetbrains.qodana from 2024.2.6 to 2024.3.4 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#114 opened Dec 23, 2024 by dependabot bot Loading…
1
Bump org.jetbrains.intellij.platform from 2.1.0 to 2.2.1 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#112 opened Dec 16, 2024 by dependabot bot Loading…
1
Bump org.jetbrains.kotlinx.kover from 0.8.3 to 0.9.0 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#111 opened Dec 13, 2024 by dependabot bot Loading…
1
Bump JetBrains/qodana-action from 2024.2 to 2024.3 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#110 opened Dec 12, 2024 by dependabot bot Loading…
1
feature-hide/unhide Annotations-DSaatz JuliaF9-Allows to enable and disable the syntax highlighting for code annotations
#107 opened Dec 8, 2024 by DSaatz Loading…
11 tasks
1
Bump org.jetbrains.kotlin.jvm from 2.0.21 to 2.1.0 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#106 opened Nov 28, 2024 by dependabot bot Loading…
1
Feature history view
#105 opened Nov 19, 2024 by RimanHoubbi Loading…
2 of 9 tasks
@johmara
4
Clone Management
#67 opened May 3, 2024 by Ahmad-sh7 Loading…
7 of 11 tasks
4
add autoadding action blocked A PR that should not be merged due to dependencies or other factors. github_actions Pull requests that update GitHub Actions code
#10 opened Oct 13, 2023 by johmara Loading…
@janssonherman @johmara
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.