Skip to content
CI

Split proof reconstruction for integers and reals. #479

Sign in to view logs

Split proof reconstruction for integers and reals.

Split proof reconstruction for integers and reals. #479

Triggered via pull request June 24, 2024 03:28
@abdoo8080abdoo8080
synchronize #112
abdoo8080:de-mathlib
Status Success
Total duration 7m 26s
Artifacts –

ci.yml

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