Skip to content

Pull requests: hennr/marabou

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

Bump mockito-core from 3.6.0 to 5.1.1 dependencies Pull requests that update a dependency file
#88 opened Feb 6, 2023 by dependabot bot Loading…
Bump junit-jupiter-api from 5.7.0 to 5.9.2 dependencies Pull requests that update a dependency file
#85 opened Jan 16, 2023 by dependabot bot Loading…
Bump junit-jupiter-engine from 5.7.0 to 5.9.2 dependencies Pull requests that update a dependency file
#84 opened Jan 16, 2023 by dependabot bot Loading…
Bump org.eclipse.swt.gtk.linux.x86_64 from 3.115.0 to 3.122.0 dependencies Pull requests that update a dependency file
#81 opened Dec 12, 2022 by dependabot bot Loading…
Bump guava from 30.0-jre to 31.1-jre dependencies Pull requests that update a dependency file
#65 opened Mar 7, 2022 by dependabot bot Loading…
ProTip! Exclude everything labeled bug with -label:bug.