save proof independent settings, that are not used by the configuration #3857
This workflow is awaiting approval from a maintainer in #3700
Triggered via pull request
December 15, 2025 19:45
PiIsRational
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #3700
code_quality.yml
on: pull_request
checkerFramework
formatting