Peter Hawkins f7eef2eda8 Use the upstream MLIR strip-debuginfo pass instead of hand-rolling our own.
(I had missed that the upstream pass exists!)

Fixes https://github.com/google/jax/issues/16649

PiperOrigin-RevId: 548192839
2023-07-14 12:24:59 -07:00
..
2023-05-23 17:33:50 -07:00
2023-07-11 12:42:32 -07:00
2023-06-27 03:41:38 -07:00
2023-07-11 12:42:32 -07:00
2023-07-11 10:10:52 -04:00
2023-02-01 12:49:06 -08:00
2021-01-13 10:26:35 -05:00
2023-05-22 11:35:10 -07:00