Skip to content

Actions: Zetetic-Dhruv/formal-learning-theory-kernel

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
20 workflow runs
20 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Docs Docs #20: Manually run by Zetetic-Dhruv
1h 46m 6s main
main
1h 46m 6s
Add comparator + lean4checker verification pipeline Docs #19: Commit b1b9d16 pushed by Zetetic-Dhruv
32m 28s main
main
32m 28s
Remove all native_decide from repo Docs #18: Commit 66d2a28 pushed by Zetetic-Dhruv
1h 31m 48s main
main
1h 31m 48s
Docs Docs #17: Manually run by Zetetic-Dhruv
1h 56m 57s main
main
1h 56m 57s
Fix ring → ring_nf in Symmetrization.lean:1404 Docs #16: Commit f776a6b pushed by Zetetic-Dhruv
1h 14m 53s main
main
1h 14m 53s
Fix CI: replace sorry with pending_further_proof in block comment Docs #15: Commit 8728e4e pushed by Zetetic-Dhruv
41m 10s main
main
41m 10s
Fix bibtex .bib path and replace all undefined book-chapter refs Docs #14: Commit 1bc9080 pushed by Zetetic-Dhruv
1h 0m 54s main
main
1h 0m 54s
Lint cleanup: 149 warnings → 0 Docs #13: Commit 3445cd1 pushed by Zetetic-Dhruv
1h 59m 13s main
main
1h 59m 13s
checkdecls gate, gitignore, landing page (3 fixes) Docs #12: Commit 5d27b4b pushed by Zetetic-Dhruv
1h 52m 54s main
main
1h 52m 54s
Promote blueprint to primary entry point on the landing page Docs #11: Commit 132b579 pushed by Zetetic-Dhruv
47m 2s main
main
47m 2s
Blueprint v1 publication-grade: URS rewrite of Ch6, checkdecls gate, … Docs #10: Commit 4c0639b pushed by Zetetic-Dhruv
45m 42s main
main
45m 42s
Blueprint v1 book-grade rewrite + CI workflow port Docs #9: Commit 83c92e8 pushed by Zetetic-Dhruv
1h 52m 59s main
main
1h 52m 59s
Blueprint v1 chapters 3-7 draft Docs #8: Commit a63a733 pushed by Zetetic-Dhruv
2h 26m 33s main
main
2h 26m 33s
Blueprint v1 scaffold and chapters 0-2 draft Docs #7: Commit d78cfc9 pushed by Zetetic-Dhruv
50m 56s main
main
50m 56s
Fix README by removing duplicate Docs badge Docs #6: Commit d0939c2 pushed by Zetetic-Dhruv
2m 50s main
main
2m 50s
Add blueprint and methodology URS plans Docs #5: Commit ede8065 pushed by Zetetic-Dhruv
8m 50s main
main
8m 50s
Remove dead-code rademacher_gen_bound placeholder Docs #4: Commit 4a3e675 pushed by Zetetic-Dhruv
16m 2s main
main
16m 2s
Add library-grade docstrings to 107 public declarations Docs #3: Commit 058d77c pushed by Zetetic-Dhruv
1h 54m 41s main
main
1h 54m 41s
Hand-roll docs workflow to support lakefile.lean Docs #2: Commit 55ba90f pushed by Zetetic-Dhruv
2h 0m 43s main
main
2h 0m 43s
Add GitHub Pages docs deployment via docgen-action Docs #1: Commit 78fdfcc pushed by Zetetic-Dhruv
14s main
main
14s