Skip to content
formal verification

Fix: Ensure cross-platform compatibility for sed command in CI script #5368

Sign in to view logs

Fix: Ensure cross-platform compatibility for sed command in CI script

Fix: Ensure cross-platform compatibility for sed command in CI script #5368

halmos

halmos
succeeded Nov 23, 2024 in 48s