Close or Merge corresponding PR on the data repo

chore(ci): update tfhe-lints to more recent toolchain #64

Sign in to view logs

Triggered via pull request August 20, 2024 11:02

IceTDrinker

closed #1480

am/chore/update-toolchain-for-lint-tool

Status Skipped

Total duration 3s

Artifacts –

data_pr_close.yml

on: pull_request