Skip to content
build

RFC: proof-only import for Mandelbrot connectedness #121

Sign in to view logs

RFC: proof-only import for Mandelbrot connectedness

RFC: proof-only import for Mandelbrot connectedness #121

This workflow is awaiting approval from a maintainer in #9
Triggered via pull request August 28, 2026 07:24
@blinkyboolblinkybool
synchronize #9
blinkybool:proof-only-import
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #9

lean.yml

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