[typetools/checker-framework] fc33c6: Recommend CircleCI as well as Azure Pipelines
0 views
Skip to first unread message
Michael Ernst
12:53 PM (6 hours ago) 12:53 PM
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: fc33c6e4c013c0cf0459ddcd60f2f2ca99429057
https://github.com/typetools/checker-framework/commit/fc33c6e4c013c0cf0459ddcd60f2f2ca99429057
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M docs/developer/developer-manual.html
Log Message:
-----------
Recommend CircleCI as well as Azure Pipelines
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: fc33c6e4c013c0cf0459ddcd60f2f2ca99429057
https://github.com/typetools/checker-framework/commit/fc33c6e4c013c0cf0459ddcd60f2f2ca99429057
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M docs/developer/developer-manual.html
Log Message:
-----------
Recommend CircleCI as well as Azure Pipelines
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