[typetools/checker-framework] b17589: Split Daikon type-checking job into 3 parts

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: b175894cb5d6e3e85ca560cc313fc127797e2240
https://github.com/typetools/checker-framework/commit/b175894cb5d6e3e85ca560cc313fc127797e2240
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-08 (Sat, 08 Nov 2025)

Changed paths:
M .azure/azure-pipelines-daily.yml
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4
M .travis.yml
M Makefile
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
A checker/bin-devel/test-daikon-part3.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-downstream.sh
M docs/developer/developer-manual.html
M docs/developer/release/release_utils.py

Log Message:
-----------
Split Daikon type-checking job into 3 parts



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications