PR label manager

chore(backward): use the Deprecated type from tfhe-versionable #7005

Sign in to view logs

Triggered via pull request October 23, 2024 07:53

synchronize #1710

ns/use_versionable_deprecated

Status Success

Total duration 16s

Artifacts –

approve_label.yml

on: pull_request