Skip to content

Pull requests: kind2-mc/VERDICT

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 actions/checkout from 3.2.0 to 3.4.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#121 opened Mar 15, 2023 by dependabot bot Loading…
Bump spotless-maven-plugin from 2.28.0 to 2.35.0 in /tools dependencies Pull requests that update a dependency file java Pull requests that update Java code
#120 opened Mar 13, 2023 by dependabot bot Loading…
Bump docker/setup-buildx-action from 2.2.1 to 2.5.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#119 opened Mar 10, 2023 by dependabot bot Loading…
Bump versions-maven-plugin from 2.14.0 to 2.15.0 in /tools dependencies Pull requests that update a dependency file java Pull requests that update Java code
#117 opened Feb 22, 2023 by dependabot bot Loading…
Bump ubuntu from 22.04 to 23.04 in /tools/verdict-back-ends dependencies Pull requests that update a dependency file docker Pull requests that update Docker code
#113 opened Jan 31, 2023 by dependabot bot Loading…
Bump docker/build-push-action from 3.2.0 to 4.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#112 opened Jan 30, 2023 by dependabot bot Loading…
Bump actions/upload-artifact from 3.1.1 to 3.1.2 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#107 opened Jan 6, 2023 by dependabot bot Loading…
Bump actions/download-artifact from 3.0.1 to 3.0.2 dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
#106 opened Jan 5, 2023 by dependabot bot Loading…
Bump version.antlr from 4.9.3 to 4.11.1 in /tools dependencies Pull requests that update a dependency file java Pull requests that update Java code
#101 opened Dec 16, 2022 by dependabot bot Loading…
Bump version.tycho from 2.7.5 to 3.0.1 in /tools dependencies Pull requests that update a dependency file java Pull requests that update Java code
#100 opened Dec 16, 2022 by dependabot bot Loading…
Bump maven-site-plugin from 3.11.0 to 3.12.1 in /tools dependencies Pull requests that update a dependency file java Pull requests that update Java code
#70 opened Aug 4, 2022 by dependabot bot Loading…
ProTip! Filter pull requests by the default branch with base:master.