Skip to content
Close or Merge corresponding PR on the data repo

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
auto_close_job
0s
0s