Skip to content

Actions: meta-introspector/lean-split-tool

Actions

Build Mathlib Split

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
63 workflow runs
63 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
Simplify project Build Mathlib Split #63: Pull request #1 synchronize by jmikedupont2
1m 4s simplify-project
simplify-project
1m 4s
Simplify project Build Mathlib Split #62: Pull request #1 opened by jmikedupont2
58s simplify-project
simplify-project
58s
feat: add Monster Group prime factorization project files Build Mathlib Split #61: Commit e15582c pushed by jmikedupont2
1m 14s main
main
1m 14s
adding test Build Mathlib Split #60: Commit 79a8797 pushed by jmikedupont2
1m 15s main
main
1m 15s
feat: add lean compilation to flake builds with lean4 in nativeBuildI… Build Mathlib Split #59: Commit b2fee4e pushed by jmikedupont2
46s main
main
46s
docs: add NEXT_TASKS.md for future development roadmap Build Mathlib Split #58: Commit b69e16c pushed by jmikedupont2
52s main
main
52s
fix: update workflow to run daily and fix generate-site.py SOURCE_DIR Build Mathlib Split #57: Commit febda3a pushed by jmikedupont2
48s main
main
48s
chore: regenerate site from updated upstream_master mathlib (8113 mod… Build Mathlib Split #56: Commit e3a8f64 pushed by jmikedupont2
47s main
main
47s
feat: add SOURCE_DIR parameter for flexible mathlib source Build Mathlib Split #55: Commit 175ed58 pushed by jmikedupont2
49s main
main
49s
cleanup: add all remaining changes Build Mathlib Split #54: Commit 511b421 pushed by jmikedupont2
50s main
main
50s
feat: add example project with graded monoid proof and test workflow Build Mathlib Split #53: Commit a48bdc4 pushed by jmikedupont2
50s main
main
50s
fix: add hierarchical layout to graph view for better dependency visu… Build Mathlib Split #52: Commit 29fce37 pushed by jmikedupont2
43s main
main
43s
fix: correct CLI nix build command format with quotes and flag Build Mathlib Split #51: Commit e9d177a pushed by jmikedupont2
47s main
main
47s
fix: move Generate buttons to top controls section Build Mathlib Split #50: Commit ca7101c pushed by jmikedupont2
51s main
main
51s
feat: add interactive 3D dependency graph with vis.js Build Mathlib Split #49: Commit d6d0d57 pushed by jmikedupont2
47s main
main
47s
chore: update site with output box on top and correct modules.dot Build Mathlib Split #48: Commit 2691bb4 pushed by jmikedupont2
48s main
main
48s
fix: move output box to top, fix template literals in JS Build Mathlib Split #47: Commit 357d109 pushed by jmikedupont2
54s main
main
54s
fix: deploy existing site files directly without regeneration Build Mathlib Split #46: Commit c4eaeb5 pushed by jmikedupont2
48s main
main
48s
docs: update README with CLI usage Build Mathlib Split #45: Commit 5df4222 pushed by jmikedupont2
53s main
main
53s
feat: add CLI client and tree.html for site Build Mathlib Split #44: Commit 2108c9c pushed by jmikedupont2
51s main
main
51s
fix: simplify flake-generator action Build Mathlib Split #43: Commit b36f376 pushed by jmikedupont2
46s main
main
46s
feat: add flake generator button and llm.txt to site Build Mathlib Split #42: Commit 34044bd pushed by jmikedupont2
47s main
main
47s
feat: use meta-introspector/setup-python@v5 after pushing tags Build Mathlib Split #41: Commit c1a0cb8 pushed by jmikedupont2
47s main
main
47s
fix: use setup-python@v4 (v5 doesn't exist in fork) Build Mathlib Split #40: Commit 2992a77 pushed by jmikedupont2
48s main
main
48s
fix: set cancel-in-progress to true for pages workflow Build Mathlib Split #39: Commit ec09cab pushed by jmikedupont2
48s main
main
48s