Skip to content

Pull requests: felixklauke/isabelle

New pull request New
9 Open 165 Closed
9 Open 165 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.0 dependencies Pull requests that update a dependency file
#175 opened Feb 28, 2023 by dependabot bot Loading…
Bump org.sonarqube from 3.4.0.2513 to 4.0.0.2929 dependencies Pull requests that update a dependency file
#173 opened Feb 20, 2023 by dependabot bot Loading…
Bump org.mockito:mockito-core from 4.6.1 to 5.1.1 dependencies Pull requests that update a dependency file
#172 opened Jan 31, 2023 by dependabot bot Loading…
Bump org.mockito:mockito-junit-jupiter from 4.6.1 to 5.1.1 dependencies Pull requests that update a dependency file
#171 opened Jan 31, 2023 by dependabot bot Loading…
Bump junit-jupiter-engine from 5.8.2 to 5.9.2 dependencies Pull requests that update a dependency file
#166 opened Jan 11, 2023 by dependabot bot Loading…
Bump junit-jupiter-api from 5.8.2 to 5.9.2 dependencies Pull requests that update a dependency file
#165 opened Jan 11, 2023 by dependabot bot Loading…
Bump junit-jupiter-params from 5.8.2 to 5.9.2 dependencies Pull requests that update a dependency file
#164 opened Jan 11, 2023 by dependabot bot Loading…
Bump junit-platform-engine from 1.8.2 to 1.9.2 dependencies Pull requests that update a dependency file
#163 opened Jan 11, 2023 by dependabot bot Loading…
Bump spigot-api from 1.19-R0.1-SNAPSHOT to 1.19.3-R0.1-SNAPSHOT dependencies Pull requests that update a dependency file
#158 opened Dec 8, 2022 by dependabot bot Loading…
ProTip! Add no:assignee to see everything that’s not assigned.