Skip to content

Actions: arademaker/fad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
update workflow for doc generation Lean Action CI #282: Commit 7027a71 pushed by arademaker
1m 33s main
main
1m 33s
Update GitHub Actions workflow for documentation build Lean Action CI #281: Commit ade0b4c pushed by arademaker
5m 24s main
main
5m 24s
update to Lean 4.23 Lean Action CI #280: Commit 5977b35 pushed by arademaker
5m 46s main
main
5m 46s
update to last Lean version Lean Action CI #279: Commit 89fa8a6 pushed by arademaker
5m 30s book
book
5m 30s
unified the two projects into one Lean Action CI #278: Commit a52ce11 pushed by arademaker
5m 41s book
book
5m 41s
test subverso Lean Action CI #277: Commit c8854c7 pushed by arademaker
5m 31s subverso
subverso
5m 31s
initial verso files Lean Action CI #276: Commit c9500e9 pushed by arademaker
5m 41s main
main
5m 41s
renamed files Lean Action CI #275: Commit 220a127 pushed by arademaker
6m 8s main
main
6m 8s
update to Lean 4.22.0-rc3 and fixed linter warnings Lean Action CI #274: Commit 9e8df84 pushed by arademaker
5m 55s main
main
5m 55s
Seção 5.4.lean (#39) Lean Action CI #273: Commit 0e28e22 pushed by arademaker
1m 29s main
main
1m 29s
add Chapter13 in the Fad.lean Lean Action CI #272: Commit c840497 pushed by arademaker
1m 20s main
main
1m 20s
add Chapter13 implementation for issue #49 (#50) Lean Action CI #271: Commit 6604b97 pushed by arademaker
1m 10s main
main
1m 10s
Adicionar seção 12.3 (#46) Lean Action CI #270: Commit a87286e pushed by arademaker
1m 18s main
main
1m 18s
9.4 - Prim's Algorithm (#58) Lean Action CI #269: Commit 67a8926 pushed by arademaker
1m 40s main
main
1m 40s
fix README Lean Action CI #268: Commit 3fdbea3 pushed by arademaker
6m 51s main
main
6m 51s
update readme and add license Lean Action CI #267: Commit e783890 pushed by arademaker
6m 54s main
main
6m 54s