Use filePermissions
instead of deprecated fileMode
#6693
Merged
Azure Pipelines / typetools.checker-framework (typecheck_jdk11)
succeeded
Jul 6, 2024 in 43m 36s
typecheck_jdk11 succeeded
Loading