Build and Deploy Documentation · Workflow runs · arademaker/fad · GitHub

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

9 workflow runs

9 workflow runs

chore: upgrade to Lean v4.27.0-rc1 Build and Deploy Documentation #16: Commit ac40e4f pushed by arademaker

13m 48s main

main

13m 48s

fix: minor syntax adjustment Build and Deploy Documentation #15: Commit 5412315 pushed by arademaker

9m 9s main

main

9m 9s

fix(chapter4): complete flatten proof (#62) Build and Deploy Documentation #14: Commit 41c9a7f pushed by arademaker

8m 1s main

main

8m 1s

feat(chapter5): prove reverse equivalence (#64) Build and Deploy Documentation #13: Commit ff77a3c pushed by arademaker

8m 9s main

main

8m 9s

fix(chapter1): complete scanr proof in Ex 1.12. Build and Deploy Documentation #12: Commit bd75856 pushed by arademaker

11m 43s main

main

11m 43s

test(chapter3): improve fetch function examples Build and Deploy Documentation #11: Commit 4e8542f pushed by arademaker

11m 50s main

main

11m 50s

fix README Build and Deploy Documentation #10: Commit b9905ee pushed by arademaker

7m 14s main

main

7m 14s

update README Build and Deploy Documentation #9: Commit 2227ecd pushed by arademaker

7m 52s main

main

7m 52s

fix : lakefile.toml default target Build and Deploy Documentation #8: Commit 0e87086 pushed by arademaker

10m 5s main

main

10m 5s