Can't find 'action.yml', 'action.yaml' or 'Dockerfile' under '/home/runner/work/patronus/patronus/.github/workflows/setup-bitwuzla'. Did you forget to run actions/checkout before running your local action?

The job was canceled because "stable_bitwuzla" failed.