Skip to content
build & test

fromTensor: full proof works, two believed sorrys are to be filled in #685

Sign in to view logs

fromTensor: full proof works, two believed sorrys are to be filled in

fromTensor: full proof works, two believed sorrys are to be filled in #685

Triggered via pull request November 8, 2023 21:35
@bollubollu
synchronize #129
poly_rewrites-fromtensor
Status Success
Total duration 9m 35s
Artifacts –

ci.yml

on: pull_request
build and test code
9m 24s
build and test code
Fit to window
Zoom out
Zoom in