Skip to content
Proof Replay

add smt solvers to github actions #23

Sign in to view logs

add smt solvers to github actions

add smt solvers to github actions #23

Triggered via push October 26, 2023 16:07
@wadoonwadoon
pushed cb12254
fixWP
Status Failure
Total duration 1m 3s
Artifacts –

tests.yml

on: push
compile_and_test
53s
compile_and_test
Matrix: replay-proofs
Fit to window
Zoom out
Zoom in

Annotations

4 errors
replay-proofs (check-constructors)
Process completed with exit code 127.
replay-proofs (check-overflow-constructors)
Process completed with exit code 127.
replay-proofs (check-methods)
Process completed with exit code 127.
replay-proofs (check-overflow-methods)
Process completed with exit code 127.