Close or Merge corresponding PR on the data repo

chore(lint): use dylint as lint driver for tfhe-lint #529

Sign in to view logs

Triggered via pull request January 14, 2025 17:30

closed #1933

ns/chore/dylint

Status Skipped

Total duration 3s

Artifacts –

data_pr_close.yml

on: pull_request