[typetools/checker-framework] 9323cf: Full clone for misc job under CircleCI

0 views

Skip to first unread message

unread,

Oct 13, 2025, 9:29:34 PM (2 days ago) Oct 13

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9323cf3516ac48009fec7b3a27ee1c2c617bbaf4
https://github.com/typetools/checker-framework/commit/9323cf3516ac48009fec7b3a27ee1c2c617bbaf4
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .azure/jobs.m4
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4

Log Message:
-----------
Full clone for misc job under CircleCI

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