[typetools/checker-framework] 01e02b: Reduce parallelism under CI

0 views
Skip to first unread message

Michael Ernst

unread,
Nov 9, 2025, 7:36:50 PM (4 days ago) Nov 9
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 01e02bc044345c4f988c5178118a29b18c1f1f37
https://github.com/typetools/checker-framework/commit/01e02bc044345c4f988c5178118a29b18c1f1f37
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-09 (Sun, 09 Nov 2025)

Changed paths:
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
M checker/bin-devel/test-daikon-part3.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-misc.sh

Log Message:
-----------
Reduce parallelism under CI



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

Michael Ernst

unread,
Nov 9, 2025, 7:37:56 PM (4 days ago) Nov 9
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2025.x
Home: https://github.com/typetools/checker-framework
Commit: 01e02bc044345c4f988c5178118a29b18c1f1f37
https://github.com/typetools/checker-framework/commit/01e02bc044345c4f988c5178118a29b18c1f1f37
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-09 (Sun, 09 Nov 2025)

Changed paths:
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
M checker/bin-devel/test-daikon-part3.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-misc.sh

Log Message:
-----------
Reduce parallelism under CI


Commit: c7f32aad535e2b66ba69daca019852027b3b7b8b
https://github.com/typetools/checker-framework/commit/c7f32aad535e2b66ba69daca019852027b3b7b8b
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-09 (Sun, 09 Nov 2025)

Changed paths:
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
M checker/bin-devel/test-daikon-part3.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-misc.sh

Log Message:
-----------
Merge branch 'master' into renovate/cimg-base-2025.x


Compare: https://github.com/typetools/checker-framework/compare/59f976577347...c7f32aad535e
Reply all
Reply to author
Forward
0 new messages