Add .editorconfig and linting

Closes #112
2026-06-08 13:22:55 +00:00 · 2023-06-12 18:20:42 +02:00
parent cfee3bbc14
commit 1deaec2b41
31 changed files with 256 additions and 222 deletions
@@ -1,9 +1,9 @@
-name: CMake
+name: build

 on: [push, pull_request]

 jobs:
-  build:
+  cmake:
    # Skip building pull requests from the same repository
    if: ${{ github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository) }}
    runs-on: ${{ matrix.os }}