You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
chore(ci): choose pull request event with path changes#1962
Merged
soonum merged 1 commit intomainzama-ai/tfhe-rs:mainfrom dt/ci/path_for_eventzama-ai/tfhe-rs:dt/ci/path_for_eventCopy head branch name to clipboardJan 14, 2025
