Can't find 'action.yml', 'action.yaml' or 'Dockerfile' under '/Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb/build_dafny_from_source'. Did you forget to run actions/checkout before running your local action?