Find unformatted files

Workflow runs for Find unformatted files

• ci fixes

  completed successfully:
  Find unformatted files#4:Pull request#7openedbyvmihalko
  vmihalko:vmihalko-ci-repair

  Sep 20, 202618s
  More actions for workflow run 4

• cda: mark functions with loops as potentially non-returning

  failed:
  Find unformatted files#3:Pull request#6openedbyvmihalko
  vmihalko:vmihalko-termination-fix

  Mar 12, 202629s
  More actions for workflow run 3

• tests: fix CI by disabling broken tests; add slicing test README

  failed:
  Find unformatted files#2:Commitb1ed4afpushedbyvmihalko
  master

  Mar 11, 202620s
  More actions for workflow run 2

• tests: fix CI by disabling broken tests; add slicing test README

  failed:
  Find unformatted files#1:Pull request#5openedbyvmihalko
  vmihalko:vmihalko-fix-ci

  Mar 10, 202626s
  More actions for workflow run 1