Skip to content
CI

Split proof reconstruction for integers and reals. #473

Sign in to view logs

Split proof reconstruction for integers and reals.

Split proof reconstruction for integers and reals. #473

Triggered via pull request June 14, 2024 11:08
@abdoo8080abdoo8080
synchronize #112
abdoo8080:de-mathlib
Status Success
Total duration 31m 28s
Artifacts –

ci.yml

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