Skip to content

Pull requests: LearnLib/alex

New pull request New
Clear current search query, filters, and sorts
3 Open 69 Closed
3 Open 69 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump guava from 31.1-jre to 32.0.0-jre in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#162 by dependabot bot was closed Jun 16, 2023 Loading…
1
Bump jose4j from 0.7.0 to 0.9.3 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#161 by dependabot bot was closed Jun 16, 2023 Loading…
1
Bump minimist from 1.2.5 to 1.2.8 in /cli dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#160 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump http-cache-semantics from 4.1.0 to 4.1.1 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#159 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump http-cache-semantics from 4.1.0 to 4.1.1 in /docs dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#158 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump ua-parser-js from 0.7.31 to 0.7.33 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#157 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump json5 from 1.0.1 to 1.0.2 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#156 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump json5 from 2.2.0 to 2.2.3 in /cli dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#155 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump decode-uri-component from 0.2.0 to 0.2.2 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#154 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump decode-uri-component from 0.2.0 to 0.2.2 in /docs dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#153 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump postgresql from 42.4.1 to 42.4.3 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#152 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump engine.io from 6.2.0 to 6.2.1 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#151 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump loader-utils from 2.0.2 to 2.0.4 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#150 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump minimatch from 3.0.4 to 3.1.2 in /cli dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#149 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump minimatch from 3.0.4 to 3.1.2 in /docs dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#148 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump socket.io-parser from 4.0.4 to 4.0.5 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#147 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump loader-utils from 2.0.2 to 2.0.3 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#146 by dependabot bot was closed Nov 16, 2022 Loading…
1
Bump shiro-core from 1.8.0 to 1.10.0 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#145 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump jsoup from 1.14.2 to 1.15.3 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#144 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump postgresql from 42.3.1 to 42.4.1 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#143 by dependabot bot was closed Nov 23, 2022 Loading…
1
Bump terser from 4.8.0 to 4.8.1 in /docs dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#142 by dependabot bot was closed Mar 20, 2023 Loading…
1
Bump terser from 4.8.0 to 4.8.1 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#141 by dependabot bot was closed Aug 11, 2022 Loading…
1
Bump shiro-core from 1.8.0 to 1.9.1 in /backend dependencies Pull requests that update a dependency file java Pull requests that update Java code
#140 by dependabot bot was closed Oct 12, 2022 Loading…
1
Bump @angular/core from 11.0.4 to 11.0.5 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#139 by dependabot bot was closed Aug 11, 2022 Loading…
1
Bump eventsource from 1.0.7 to 1.1.1 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#138 by dependabot bot was closed Aug 11, 2022 Loading…
1
ProTip! What’s not been updated in a month: updated:<2025-10-07.