[typetools/checker-framework] f24b11: Make generated files unwritable
0 views
Skip to first unread message
Michael Ernst
Oct 13, 2025, 9:30:30 PM (2 days ago) Oct 13
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: f24b1167306eb0f336a05ea0e45423dee6045708
https://github.com/typetools/checker-framework/commit/f24b1167306eb0f336a05ea0e45423dee6045708
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)
Changed paths:
M .azure/Makefile
M .circleci/Makefile
M checker/bin-devel/Makefile
Log Message:
-----------
Make generated files unwritable
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Home: https://github.com/typetools/checker-framework
Commit: f24b1167306eb0f336a05ea0e45423dee6045708
https://github.com/typetools/checker-framework/commit/f24b1167306eb0f336a05ea0e45423dee6045708
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)
Changed paths:
M .azure/Makefile
M .circleci/Makefile
M checker/bin-devel/Makefile
Log Message:
-----------
Make generated files unwritable
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