Skip to content
CI

Optimize congruence proof step reconstruction. #531

Sign in to view logs

Optimize congruence proof step reconstruction.

Optimize congruence proof step reconstruction. #531

Triggered via pull request October 11, 2024 00:11
@abdoo8080abdoo8080
synchronize #135
abdoo8080:cong-opt
Status Success
Total duration 8m 31s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in