Skip to content

Actions: girving/ray-render

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Specialised Disc arithmetic for Mandelbrot iteration build #26: Commit ab940a3 pushed by girving
17m 37s main
main
17m 37s
Halve the time using conj symmetry of the Mandelbrot set build #25: Commit 2a70100 pushed by girving
2m 39s main
main
2m 39s
Add area estimate to README build #24: Commit 19365a9 pushed by girving
2m 7s main
main
2m 7s
The area program works after a lean update! build #23: Commit 531aeb3 pushed by girving
16m 36s main
main
16m 36s
Make an area script, which does not yet work build #22: Commit da3ecc3 pushed by girving
2m 25s main
main
2m 25s
Area upper bounds via Koebe build #21: Commit 33d1a95 pushed by girving
16m 59s main
main
16m 59s
Mandelbrot-free radii using Koebe build #20: Commit 5551ebf pushed by girving
16m 13s main
main
16m 13s
Typo fix, and a rename build #19: Commit 11737ff pushed by girving
2m 20s main
main
2m 20s
Potential derivative approximation build #18: Commit 2c3cc7f pushed by girving
16m 57s main
main
16m 57s
Update ray build #17: Commit 816c47e pushed by girving
16m 20s main
main
16m 20s
Update ray build #16: Commit a00083a pushed by girving
15m 49s main
main
15m 49s
Update dependencies build #15: Commit cf29550 pushed by girving
15m 30s main
main
15m 30s
Update to leanprover/lean4:v4.26.0-rc1, fixing compilation build #14: Commit 2fc6460 pushed by girving
14m 44s main
main
14m 44s
Update github workflow to actions/checkout@v5 build #13: Commit 7d14bc4 pushed by girving
14m 18s broken
broken
14m 18s
Update to leanprover/lean4:v4.25.0-rc2, breaking compilation build #12: Commit 57e9ab0 pushed by girving
14m 47s broken
broken
14m 47s
Formatting change to test Github workflow build #11: Commit c06fce3 pushed by girving
1m 38s main
main
1m 38s
Use lean-action as a better Github workflow build #10: Commit 6873a89 pushed by girving
23m 5s main
main
23m 5s
Remove libpng from workflow now that we build it locally build #9: Commit fc27833 pushed by girving
13m 12s main
main
13m 12s
Build zlib and libpng locally build #8: Commit 5bba571 pushed by girving
13m 41s main
main
13m 41s
Verify that BadMandelbrot.lean doesn't depend on Ray build #7: Commit e44addb pushed by girving
13m 17s main
main
13m 17s
Update Github elan version build #6: Commit a828baa pushed by girving
14m 6s main
main
14m 6s
Attempt to fix Github png build again build #5: Commit e6d946f pushed by girving
14m 11s main
main
14m 11s
Install libpng in Github build build #4: Commit dfdac37 pushed by girving
13m 37s main
main
13m 37s
Split correctness proofs out of Render lib into Correct build #3: Commit d5c5214 pushed by girving
13m 11s main
main
13m 11s
Update lean and mathlib build #2: Commit 02b3d79 pushed by girving
13m 52s main
main
13m 52s