macOS CI

Workflow runs for macOS CI

• ci fixes

  completed successfully:
  macOS CI#4:Pull request#7openedbyvmihalko
  vmihalko:vmihalko-ci-repair

  Sep 20, 20264m 54s
  More actions for workflow run 4

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

  cancelled:
  macOS CI#3:Pull request#6openedbyvmihalko
  vmihalko:vmihalko-termination-fix

  Mar 12, 20261d 0h 0m 1s
  More actions for workflow run 3

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

  cancelled:
  macOS CI#2:Commitb1ed4afpushedbyvmihalko
  master

  Mar 11, 20261d 0h 0m 2s
  More actions for workflow run 2

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

  cancelled:
  macOS CI#1:Pull request#5openedbyvmihalko
  vmihalko:vmihalko-fix-ci

  Mar 10, 20261d 0h 0m 2s
  More actions for workflow run 1