Skip to content

UNSAT certification statistics (#850) #241

UNSAT certification statistics (#850)

UNSAT certification statistics (#850) #241

name: clang-format Check
on: [push, pull_request]
jobs:
formatting-check:
name: Formatting Check
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check that all files in src/ follows the style defined in .clang-format
uses: jidicula/[email protected]
with:
clang-format-version: '14'
check-path: 'src'