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

Triggered via pull request November 23, 2024 11:17
@voronorvoronor
opened #5316
voronor:patch-1
Status Success
Total duration 59s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
48s
halmos
Fit to window
Zoom out
Zoom in