Skip to content

Actions: meta-introspector/lean-split-tool

Actions

Test Mathlib Split Builds

Actions

Loading...
Loading

Show workflow options

Create status badge

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