Checking EditorConfig

cadical: enable version 2.0.0 and use it in cvc5 #434001

Sign in to view logs

Triggered via pull request October 22, 2024 04:34

opened #350400

Status Success

Total duration 44s

Artifacts –

editorconfig.yml

on: pull_request_target

editorconfig-check