[typetools/checker-framework] 2922a0: Use depth 0 rather than 1000

0 views

Skip to first unread message

unread,

Apr 29, 2026, 5:25:55 PM (3 days ago) Apr 29

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 2922a0c616d633b95473c073a96d4592fb2afcbd
https://github.com/typetools/checker-framework/commit/2922a0c616d633b95473c073a96d4592fb2afcbd
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-29 (Wed, 29 Apr 2026)

Changed paths:
M .azure/azure-pipelines-daily.yml
M .azure/defs-common.m4
M .azure/defs.m4

Log Message:
-----------
Use depth 0 rather than 1000

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

Reply all

Reply to author

Forward

0 new messages