❌ [actionlint] The command ran successfully and some problem was found (found 2 errors, linted 16 files), exit code: 1

property "check-rebootstrap" is not defined in object type {check-level: string; config: string; lean_special_version_desc: string; lean_version_major: string; lean_version_minor: string; lean_version_patch: string; nightly: string; release_tag: string}