[typetools/checker-framework] 42406c: Typecheck Daikon under JDK 17

0 views
Skip to first unread message

Michael Ernst

unread,
Apr 25, 2022, 10:06:14 PM4/25/22
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 42406c7d96a3c1b7976fd4213805d85493c15cf2
https://github.com/typetools/checker-framework/commit/42406c7d96a3c1b7976fd4213805d85493c15cf2
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2022-04-25 (Mon, 25 Apr 2022)

Changed paths:
M azure-pipelines.yml

Log Message:
-----------
Typecheck Daikon under JDK 17


Reply all
Reply to author
Forward
0 new messages