Skip to content

Actions: LLM4Rocq/mathcomp-eulerian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #2 from LLM4Rocq/refactor/cdindex-separation Deploy Blueprint #16: Commit 962dfc3 pushed by mlelarge
10m 47s main
main
10m 47s
ci(formal-pdf): install lmodern explicitly Deploy Blueprint #15: Commit 0a09a05 pushed by mlelarge
17m 20s main
main
17m 20s
ci(blueprint): deploy formal companion PDF alongside coqdoc Deploy Blueprint #14: Commit 23ef89d pushed by mlelarge
11m 8s main
main
11m 8s
docs(rocq): Phase 1 — coqdoc docstrings on every named result Deploy Blueprint #13: Commit ad4599f pushed by mlelarge
11m 5s main
main
11m 5s
docs: add mathematician-facing reading guide + definitions audit Deploy Blueprint #12: Commit 0cd4033 pushed by mlelarge
10m 46s main
main
10m 46s
docs(blueprint): add §1.6.4 stub for André reflection (Phase C) Deploy Blueprint #11: Commit fae0c73 pushed by mlelarge
11m 5s main
main
11m 5s
docs(blueprint): fix \end{theorem>} typo in ch_inversions Deploy Blueprint #10: Commit b886954 pushed by mlelarge
14m 49s main
main
14m 49s
docs(blueprint): §1.6.2 alternating-subsequence section added Deploy Blueprint #9: Commit bc7bed8 pushed by mlelarge
11m 11s main
main
11m 11s
docs(blueprint): q-factorial section — Stanley §1.3.4 complete Deploy Blueprint #8: Commit 80d160e pushed by mlelarge
10m 51s main
main
10m 51s
proof(perm_seq_bridge): tactic-level golf pass Deploy Blueprint #7: Commit 23fdb9c pushed by mlelarge
10m 35s main
main
10m 35s
docs(internal): frame docs/internal as a historical trace Deploy Blueprint #6: Commit e310241 pushed by mlelarge
10m 30s main
main
10m 30s
ci(blueprint): install mathcomp fingroup + algebra in addition to ssr… Deploy Blueprint #5: Commit 70fdecd pushed by mlelarge
10m 37s main
main
10m 37s
docs: move M-series informal notes to docs/internal/ Deploy Blueprint #4: Commit d19c627 pushed by mlelarge
1m 40s main
main
1m 40s
chore: tooling + ignore cleanup Deploy Blueprint #3: Commit f42f2a0 pushed by mlelarge
8m 38s main
main
8m 38s
ci(blueprint): use ocaml-4.14-flambda for the rocq 9.1 image Deploy Blueprint #2: Commit a456be4 pushed by mlelarge
6m 12s main
main
6m 12s
Merge pull request #1 from LLM4Rocq/refactor/compile-all Deploy Blueprint #1: Commit 94bb78f pushed by mlelarge
1m 18s main
main
1m 18s
pages build and deployment pages-build-deployment #1: by mlelarge
42s refactor/compile-all
refactor/compile-all
42s