fix(ci): make the secret scanner and the Lean proof gate actually run#129

hyperpolymath merged 1 commit into

mainhyperpolymath/wokelang:mainfrom

fix/valid-workflows-secret-scanner-and-lean-proofshyperpolymath/wokelang:fix/valid-workflows-secret-scanner-and-lean-proofsCopy head branch name to clipboard