[Git][java-team/checker-framework-java][upstream] New upstream version 3.2.0+ds

Olek Wojnar (@olek) gitlab at salsa.debian.org
Tue Jan 3 17:23:25 GMT 2023



Olek Wojnar pushed to branch upstream at Debian Java Maintainers / checker-framework-java


Commits:
45369bc1 by Olek Wojnar at 2023-01-03T11:54:25-05:00
New upstream version 3.2.0+ds
- - - - -


30 changed files:

- .gitignore
- .travis-build.sh
- azure-pipelines.yml
- build.gradle
- changelog.txt
- checker-qual/build.gradle
- checker/bin-devel/Dockerfile-ubuntu-jdk11
- checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
- checker/bin-devel/Dockerfile-ubuntu-jdk11-plus-buildjdk
- checker/bin-devel/Dockerfile-ubuntu-jdk8
- checker/bin-devel/Dockerfile-ubuntu-jdk8-plus
- checker/bin-devel/build.sh
- checker/bin-devel/count-suppressions
- checker/bin-devel/git.pre-commit
- checker/bin-devel/javac-debug
- checker/bin-devel/test-all-tests.sh
- checker/bin-devel/test-cf-inference.sh
- checker/bin-devel/test-daikon.sh
- checker/bin-devel/test-downstream.sh
- + checker/bin-devel/test-guava.sh
- checker/bin-devel/test-jdk-jar.sh
- checker/bin-devel/test-junit-tests.sh
- checker/bin-devel/test-misc.sh
- checker/bin-devel/test-nonjunit-tests.sh
- checker/bin-devel/test-plume-lib.sh
- checker/bin/infer-and-annotate.sh
- checker/build.gradle
- checker/jtreg/nullness/PersistUtil.java
- checker/jtreg/nullness/defaultsPersist/Fields.java
- checker/jtreg/nullness/defaultsPersist/ReferenceInfoUtil.java


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/commit/45369bc1ade3d9914ae78b53007b369bae4ce35c

-- 
View it on GitLab: https://salsa.debian.org/java-team/checker-framework-java/-/commit/45369bc1ade3d9914ae78b53007b369bae4ce35c
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20230103/3516644a/attachment.htm>


More information about the pkg-java-commits mailing list