8000 Rename make_prover to make_safety_prover · stanford-centaur/pono@fc64ad5 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
CI

Rename make_prover to make_safety_prover #663

Sign in to view logs

Rename make_prover to make_safety_prover

Rename make_prover to make_safety_prover #663

Triggered via push May 28, 2025 23:34
@Po-Chun-ChienPo-Chun-Chien
pushed fc64ad5
prover-refactor
Status Failure
Total duration 13m 18s
Artifacts –

ci.yml

on: push
format-check
4s
format-check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

7 errors
macos-latest-dynamic-build
Process completed with exit code 2.
ubuntu-latest-dynamic-build
The job was canceled because "macos-latest_dynamic" failed.
ubuntu-latest-dynamic-build
The operation was canceled.
ubuntu-latest-static-build
The job was canceled because "macos-latest_dynamic" failed.
ubuntu-latest-static-build
The operation was canceled.
macos-latest-static-build
The job was canceled because "macos-latest_dynamic" failed.
macos-latest-static-build
The operation was canceled.
0