Checking EditorConfig v2

coqPackages.mathcomp-analysis: rename altreals to experimental-reals #4995

Sign in to view logs

Triggered via pull request November 5, 2024 12:38

proux01

opened #353818

Status Success

Total duration 45s

Artifacts –

editorconfig-v2.yml

on: pull_request_target

editorconfig-check