Skip to content
Propose to merge ghstack orig PRs to main

[5.1/ N] set_option/get_option API with {backend_name, backend options} only #630

Sign in to view logs

[5.1/ N] set_option/get_option API with {backend_name, backend options} only

[5.1/ N] set_option/get_option API with {backend_name, backend options} only #630

Triggered via pull request June 24, 2025 08:00
@facebook-github-botfacebook-github-bot
closed #11865
gh/cccclai/31/head
Status Success
Total duration 52s
Artifacts –

ghstack_land.yml

on: pull_request
Try to create a PR with ghstack /orig branch
45s
Try to create a PR with ghstack /orig branch
Fit to window
Zoom out
Zoom in