2 Commits

Author	SHA1	Message	Date
Roman Wagner	be438d887a	add permalink to maven archive for multiple java projects (#9966) ... the permalink to maven archive will fix multiple build issues on a long-term basis e.g. for htmlunit project	2023-03-20 18:04:49 -04:00
Patrice.S	3f2bb3b38e	checker-framework: initial integration (#8532)	2022-09-20 09:50:42 -04:00