Skip to content
Lean Action CI

Steps towards proofs properties #83

Sign in to view logs

Steps towards proofs properties

Steps towards proofs properties #83

Triggered via push January 30, 2025 14:03
@MetalCreator666MetalCreator666
pushed 1959c27
SL-properties-wedge_product
Status Success
Total duration 2m 16s
Artifacts –

lean_action_ci.yml

on: push
build
2m 5s
build
Fit to window
Zoom out
Zoom in