/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 22, Col: 5): Unexpected value 'with'

GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 22, Col: 5): Unexpected value 'with' at GitHub.DistributedTask.ObjectTemplating.TemplateValidationErrors.Check() at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs) at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)

Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/