[typetools/checker-framework] 08bb0e: Set `no_output_timeout` for CircleCI jobs

0 views
Skip to first unread message

Michael Ernst

unread,
Oct 13, 2025, 9:56:35 AM (2 days ago) Oct 13
to checker-fr...@googlegroups.com
Branch: refs/heads/circleci-project-setup
Home: https://github.com/typetools/checker-framework
Commit: 08bb0e8825a56f7f06bf32f0b4f9ff42c8298d74
https://github.com/typetools/checker-framework/commit/08bb0e8825a56f7f06bf32f0b4f9ff42c8298d74
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M .circleci/config.yml
M .circleci/defs.m4

Log Message:
-----------
Set `no_output_timeout` for CircleCI jobs


Commit: 6d27d141f25a09cdff1479b18e0549e6c658b73f
https://github.com/typetools/checker-framework/commit/6d27d141f25a09cdff1479b18e0549e6c658b73f
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M build.gradle
M checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh

Log Message:
-----------
Revert "Test for more CI systems"


Commit: f826ca4f84e8a4a32cf6d506d19f38dcc56f865f
https://github.com/typetools/checker-framework/commit/f826ca4f84e8a4a32cf6d506d19f38dcc56f865f
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M .circleci/config.yml
M .circleci/defs.m4
M build.gradle
M checker/bin-devel/clone-related.sh
A checker/bin-devel/is-ci.sh
M checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ExpressionTreeToJavaExpressionVisitor.java

Log Message:
-----------
Fix CircleCI


Commit: 4b088a849bd84019cb6b778af46d61a475955a52
https://github.com/typetools/checker-framework/commit/4b088a849bd84019cb6b778af46d61a475955a52
Author: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M build.gradle

Log Message:
-----------
Update plugin com.diffplug.spotless to v8 (#7308)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>


Commit: 44762a7e1b6e7a77fde110bc776ef142084d0ad2
https://github.com/typetools/checker-framework/commit/44762a7e1b6e7a77fde110bc776ef142084d0ad2
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M checker/bin-devel/clone-related.sh
M checker/bin-devel/test-cftests-all.sh
M checker/bin-devel/test-cftests-inference-part1.sh
M checker/bin-devel/test-cftests-inference-part2.sh
M checker/bin-devel/test-cftests-inference.sh
M checker/bin-devel/test-cftests-junit.sh
M checker/bin-devel/test-cftests-nonjunit.sh
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-downstream.sh
M checker/bin-devel/test-guava-formatter.sh
M checker/bin-devel/test-guava-index.sh
M checker/bin-devel/test-guava-interning.sh
M checker/bin-devel/test-guava-lock.sh
M checker/bin-devel/test-guava-nullness.sh
M checker/bin-devel/test-guava-regex.sh
M checker/bin-devel/test-guava-signature.sh
M checker/bin-devel/test-guava.sh
M checker/bin-devel/test-misc.sh
M checker/bin-devel/test-plume-lib.sh
M checker/bin-devel/test-typecheck-part1.sh
M checker/bin-devel/test-typecheck-part2.sh
M checker/bin-devel/test-typecheck.sh

Log Message:
-----------
Respect `JAVA21_HOME` environment variable

Co-authored-by: Suzanne Millstein <smi...@cs.washington.edu>


Commit: 8a55be08e81ab946de64cd6d70200c6e9e9dd369
https://github.com/typetools/checker-framework/commit/8a55be08e81ab946de64cd6d70200c6e9e9dd369
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-26 (Fri, 26 Sep 2025)

Changed paths:
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/BottomGrowShrink.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/GrowOnly.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyGrowShrink.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/Shrinkable.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/UncheckedShrinkable.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/UnshrinkableRef.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/EnsuresNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/EnsuresNonEmptyIf.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/NonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/PolyNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/RequiresNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/UnknownNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/dataflow/qual/AssertMethod.java
M checker/src/main/java/org/checkerframework/checker/index/growonly/GrowOnlyChecker.java
M checker/src/main/java/org/checkerframework/checker/nonempty/NonEmptyChecker.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java
M docs/CHANGELOG.md
M docs/developer/developer-manual.html
M docs/developer/new-contributor-projects.html
M docs/manual/annotating-libraries.tex
M docs/manual/creating-a-checker.tex
M docs/manual/external-checkers.tex
M docs/manual/external-tools.tex
M docs/manual/faq.tex
M docs/manual/introduction.tex
M docs/manual/resource-leak-checker.tex

Log Message:
-----------
Fix some broken URLs


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

Changed paths:
M CONTRIBUTING.md
M annotation-file-utilities/tests/abbreviated/README.md
M annotation-file-utilities/tests/enum-imports/README.md
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/README.md
M checker/tests/README.md
M checker/tests/ainfer-testchecker/input-annotation-files/README.md
M checker/tests/ainfer-testchecker/non-annotated/README.md
M checker/tests/calledmethods-disableframeworks/README.md
M checker/tests/wpi-many/README.md
M docs/CHANGELOG.md
M framework/tests/framework/README.md
M javacutil/src/main/java/org/checkerframework/javacutil/javacparse/README.md

Log Message:
-----------
Fix errors issued by `markdownlint`


Commit: fc3a55d3521b82d4b4c1523a8766c01b15f5c28c
https://github.com/typetools/checker-framework/commit/fc3a55d3521b82d4b4c1523a8766c01b15f5c28c
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/tests/nullness/Issue6623.java

Log Message:
-----------
Enable caching


Commit: 0343594969bfdfa0649d64ac341a3cc6b5107c81
https://github.com/typetools/checker-framework/commit/0343594969bfdfa0649d64ac341a3cc6b5107c81
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/CHANGELOG.md
M release.gradle

Log Message:
-----------
Prep for release.


Commit: 56158f5c7c389cf66dd8007631c81f948b7822e0
https://github.com/typetools/checker-framework/commit/56158f5c7c389cf66dd8007631c81f948b7822e0
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M release.gradle

Log Message:
-----------
Use a default value if cfWebsite is not set.


Commit: 11f9ab5c29a0eec013c5441b2279395bfbb344c5
https://github.com/typetools/checker-framework/commit/11f9ab5c29a0eec013c5441b2279395bfbb344c5
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M release.gradle

Log Message:
-----------
small correction.


Commit: f17fd42829cc58666c9c0a1aee44f04dda88a9a0
https://github.com/typetools/checker-framework/commit/f17fd42829cc58666c9c0a1aee44f04dda88a9a0
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex

Log Message:
-----------
new release 3.51.1


Commit: 4f8a68a1458ce7c16eb303832ad20a8e3d165131
https://github.com/typetools/checker-framework/commit/4f8a68a1458ce7c16eb303832ad20a8e3d165131
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/developer/release/release_push.py

Log Message:
-----------
Tweaks to release_push.py.


Commit: f93c756de5b3e2ecf440250723b35cf86e2d4808
https://github.com/typetools/checker-framework/commit/f93c756de5b3e2ecf440250723b35cf86e2d4808
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/CHANGELOG.md
M release.gradle

Log Message:
-----------
Prep for next release.


Commit: e7771b50acbb618b5eab15d817aa76fea49c5856
https://github.com/typetools/checker-framework/commit/e7771b50acbb618b5eab15d817aa76fea49c5856
Author: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Date: 2025-10-02 (Thu, 02 Oct 2025)

Changed paths:
M .circleci/config.yml

Log Message:
-----------
Update cimg/base Docker tag to v2025.10 (#7314)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>


Commit: 04c652ed2dfb4dce6e274bc42773147cdece2cc7
https://github.com/typetools/checker-framework/commit/04c652ed2dfb4dce6e274bc42773147cdece2cc7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-08 (Wed, 08 Oct 2025)

Changed paths:
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/gsoc-ideas.html
M docs/developer/new-contributor-projects.html
M docs/developer/release/README-release-process.html
M docs/tutorial/index.html
M docs/tutorial/webpages/encryption-checker-cmd.html
M docs/tutorial/webpages/get-started-cmd.html
M docs/tutorial/webpages/security-error-cmd.html
M docs/tutorial/webpages/user-input-cmd.html

Log Message:
-----------
`<meta http-equiv=` is not necessary


Commit: e79dca5b3d904bcf7de58389784aa4dc68fc1bd3
https://github.com/typetools/checker-framework/commit/e79dca5b3d904bcf7de58389784aa4dc68fc1bd3
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-08 (Wed, 08 Oct 2025)

Changed paths:
M docs/developer/gsoc-ideas.html

Log Message:
-----------
Fix typo


Commit: b252c659c4937b6c24b93a5b227e485acd951893
https://github.com/typetools/checker-framework/commit/b252c659c4937b6c24b93a5b227e485acd951893
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-09 (Thu, 09 Oct 2025)

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/LinkedHashKeyedSet.java
M checker-qual/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/mustcall/MustCallAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationStore.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractAnalysis.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

Log Message:
-----------
Comment improvements (#7318)

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>


Commit: ff5c554a4f38b0c6ea6aa3316e3fbbeb7f33fd0d
https://github.com/typetools/checker-framework/commit/ff5c554a4f38b0c6ea6aa3316e3fbbeb7f33fd0d
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-09 (Thu, 09 Oct 2025)

Changed paths:
M checker/build.gradle

Log Message:
-----------
Add checker.jar to task output


Commit: 53c1482ff9f79b508778737dd67b1c6d41294309
https://github.com/typetools/checker-framework/commit/53c1482ff9f79b508778737dd67b1c6d41294309
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-09 (Thu, 09 Oct 2025)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/lock/LockAnalysis.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsVisitor.java
M docs/CHANGELOG.md
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractAnalysis.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAnalysis.java
M framework/tests/all-systems/InferTypeArgs2.java

Log Message:
-----------
Rename methods


Commit: f5da9d207e1c3ca8aaa8f2d2b8b462313035c1c3
https://github.com/typetools/checker-framework/commit/f5da9d207e1c3ca8aaa8f2d2b8b462313035c1c3
Author: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Date: 2025-10-12 (Sun, 12 Oct 2025)

Changed paths:
M framework/build.gradle

Log Message:
-----------
Update dependency io.github.classgraph:classgraph to v4.8.184 (#7322)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>


Commit: f07757c79137cc2ef5c89a9dee27522967f2fe0f
https://github.com/typetools/checker-framework/commit/f07757c79137cc2ef5c89a9dee27522967f2fe0f
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

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

Log Message:
-----------
Improve YAML formatting


Commit: 7cccbe082227e7128dfc1c516ea843a3ee03d258
https://github.com/typetools/checker-framework/commit/7cccbe082227e7128dfc1c516ea843a3ee03d258
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:
M .azure/azure-pipelines-daily.yml
M .azure/azure-pipelines-daily.yml.m4
M .azure/azure-pipelines.yml
M .azure/azure-pipelines.yml.m4
M .azure/defs.m4
M .azure/jobs.m4
M .circleci/config.yml
M .circleci/defs.m4
M .travis.yml
M CONTRIBUTING.md
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/LinkedHashKeyedSet.java
M annotation-file-utilities/tests/abbreviated/README.md
M annotation-file-utilities/tests/enum-imports/README.md
M build.gradle
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/BottomGrowShrink.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/GrowOnly.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyGrowShrink.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/Shrinkable.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/UncheckedShrinkable.java
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/UnshrinkableRef.java
M checker-qual/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/EnsuresNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/EnsuresNonEmptyIf.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/NonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/PolyNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/RequiresNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/checker/nonempty/qual/UnknownNonEmpty.java
M checker-qual/src/main/java/org/checkerframework/dataflow/qual/AssertMethod.java
M checker/bin-devel/clone-related.sh
A checker/bin-devel/is-ci.sh
M checker/bin-devel/test-cftests-all.sh
M checker/bin-devel/test-cftests-inference-part1.sh
M checker/bin-devel/test-cftests-inference-part2.sh
M checker/bin-devel/test-cftests-inference.sh
M checker/bin-devel/test-cftests-junit.sh
M checker/bin-devel/test-cftests-nonjunit.sh
M checker/bin-devel/test-daikon-part1.sh
M checker/bin-devel/test-daikon-part2.sh
M checker/bin-devel/test-daikon.sh
M checker/bin-devel/test-downstream.sh
M checker/bin-devel/test-guava-formatter.sh
M checker/bin-devel/test-guava-index.sh
M checker/bin-devel/test-guava-interning.sh
M checker/bin-devel/test-guava-lock.sh
M checker/bin-devel/test-guava-nullness.sh
M checker/bin-devel/test-guava-regex.sh
M checker/bin-devel/test-guava-signature.sh
M checker/bin-devel/test-guava.sh
M checker/bin-devel/test-misc.sh
M checker/bin-devel/test-plume-lib.sh
M checker/bin-devel/test-typecheck-part1.sh
M checker/bin-devel/test-typecheck-part2.sh
M checker/bin-devel/test-typecheck.sh
M checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh
M checker/build.gradle
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/growonly/GrowOnlyChecker.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/lock/LockAnalysis.java
M checker/src/main/java/org/checkerframework/checker/mustcall/MustCallAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/nonempty/NonEmptyChecker.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsVisitor.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/README.md
M checker/tests/README.md
M checker/tests/ainfer-testchecker/input-annotation-files/README.md
M checker/tests/ainfer-testchecker/non-annotated/README.md
M checker/tests/calledmethods-disableframeworks/README.md
M checker/tests/nullness/Issue6623.java
M checker/tests/wpi-many/README.md
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ExpressionTreeToJavaExpressionVisitor.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/gsoc-ideas.html
M docs/developer/new-contributor-projects.html
M docs/developer/release/README-release-process.html
M docs/developer/release/release_push.py
M docs/examples/MavenExample/pom.xml
M docs/manual/annotating-libraries.tex
M docs/manual/creating-a-checker.tex
M docs/manual/external-checkers.tex
M docs/manual/external-tools.tex
M docs/manual/faq.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex
M docs/manual/resource-leak-checker.tex
M docs/tutorial/index.html
M docs/tutorial/webpages/encryption-checker-cmd.html
M docs/tutorial/webpages/get-started-cmd.html
M docs/tutorial/webpages/security-error-cmd.html
M docs/tutorial/webpages/user-input-cmd.html
M framework/build.gradle
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationStore.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractAnalysis.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAnalysis.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/tests/all-systems/InferTypeArgs2.java
M framework/tests/framework/README.md
M javacutil/src/main/java/org/checkerframework/javacutil/javacparse/README.md
M release.gradle

Log Message:
-----------
Merge ../checker-framework-branch-master into circleci-project-setup


Commit: c482a105a53d7d783db39221f098829ec47cd89c
https://github.com/typetools/checker-framework/commit/c482a105a53d7d783db39221f098829ec47cd89c
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:
M .circleci/config.yml

Log Message:
-----------
Update image


Compare: https://github.com/typetools/checker-framework/compare/f5543c1483c4...c482a105a53d

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