diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-06-08 15:27:31 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-08 15:27:31 -0400 |
| commit | 524e4264573cd30a9bc3db28f44cf2b62e867dfa (patch) | |
| tree | ca831ba27aea40f2ef4afbc01d2db591d5713cb2 /ext/ffi/ir.rs | |
| parent | c775001466861eda14c037c8bc02706222e62fd5 (diff) | |
ci: use windows-xl runner for `--release` on main (#19429)
Diffstat (limited to 'ext/ffi/ir.rs')
0 files changed, 0 insertions, 0 deletions