Skip to content
Lean Action CI

Complete Partrec module: prove prec closure and fix sub_computable (#27) #230

Sign in to view logs

Complete Partrec module: prove prec closure and fix sub_computable (#27)

Complete Partrec module: prove prec closure and fix sub_computable (#27) #230

Triggered via pull request January 6, 2026 11:26
@jessealamajessealama
synchronize #43
complete-partrec-module
Status Success
Total duration 2m 6s
Artifacts –

lean_action_ci.yml

on: pull_request
build
2m 3s
build
Fit to window
Zoom out
Zoom in