Skip to content

Actions: stblake/mathilda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
feat(linalg): BLAS & LAPACK builtin bridges Deploy documentation site #34: Commit 4322a66 pushed by stblake
40s main
main
40s
docs(site): add advanced DiffUnderInt integration-method tutorial Deploy documentation site #33: Commit 340b6e1 pushed by stblake
1m 5s main
main
1m 5s
docs(site): add advanced Integrate-method tutorials + MathJax Deploy documentation site #32: Commit 76a89dd pushed by stblake
1m 6s main
main
1m 6s
docs(site): regenerate reference pages; align builtin count to ~575 Deploy documentation site #31: Commit fadba31 pushed by stblake
55s main
main
55s
docs: refresh LoC and builtin-count figures on landing page + README Deploy documentation site #30: Commit 91da64f pushed by stblake
52s main
main
52s
build: make GMP-ECM a system dependency, drop vendored submodule Deploy documentation site #29: Commit d24b48a pushed by stblake
43s main
main
43s
feat(strings): add StringDrop builtin Deploy documentation site #28: Commit bff3b5a pushed by stblake
49s main
main
49s
feat(solve): zero-dimensional nonlinear polynomial systems Deploy documentation site #27: Commit 09dcdac pushed by stblake
16s main
main
16s
docs(site): add generated pages for RootReduce, PrimeNu/PrimeOmega, L… Deploy documentation site #26: Commit 6df7d28 pushed by stblake
1m 15s main
main
1m 15s
feat(limit): Method option for Limit strategy selection Deploy documentation site #25: Commit 8223f34 pushed by stblake
36s main
main
36s
docs(tutorials): advanced Sum & Product tutorials (symbolic summation… Deploy documentation site #24: Commit e7cc3bc pushed by stblake
1m 5s main
main
1m 5s
docs(flint): document how to compile Mathilda with FLINT Deploy documentation site #23: Commit 53dd04b pushed by stblake
1m 5s main
main
1m 5s
docs(site): add FLINT context section to the documentation website Deploy documentation site #22: Commit 6ed9120 pushed by stblake
57s main
main
57s
docs(site): add Prime[n] page; document all PrimePi methods + perform… Deploy documentation site #21: Commit 3dc91d5 pushed by stblake
49s main
main
49s
docs(tutorial): second-derivative test + Resultant/Decompose examples Deploy documentation site #20: Commit 2640b02 pushed by stblake
48s main
main
48s
feat(nsolve): NSolve numerical equation and polynomial-system solver Deploy documentation site #19: Commit aaa7b32 pushed by stblake
49s main
main
49s
docs: trivial + research-level worked examples for all non-trivial bu… Deploy documentation site #18: Commit b4ff352 pushed by stblake
1m 31s main
main
1m 31s
docs: reorganize site docs and spec, add number-theory & solutions-of… Deploy documentation site #17: Commit 9233169 pushed by stblake
1m 1s main
main
1m 1s
docs: add dependency-install instructions to README and site landing … Deploy documentation site #16: Commit c482cb2 pushed by stblake
51s main
main
51s
docs(site): wrap long code-block lines instead of horizontal scroll Deploy documentation site #15: Commit 4b0f56f pushed by stblake
54s main
main
54s
docs: add numerical-calculus + special-functions tutorials; refresh f… Deploy documentation site #14: Commit 32e93e7 pushed by stblake
52s main
main
52s
docs(site): regroup documentation-center builtins into clearer catego… Deploy documentation site #13: Commit 9c03496 pushed by stblake
44s main
main
44s
feat(special-functions): add Pochhammer builtin (rising factorial) Deploy documentation site #12: Commit 50b8a0e pushed by stblake
1m 21s main
main
1m 21s
docs(site): add verified worked examples to every builtin page Deploy documentation site #11: Commit b2f6fc9 pushed by stblake
43s main
main
43s
docs(site): add source-grounded implementation notes for every builtin Deploy documentation site #10: Commit e536b45 pushed by stblake
50s main
main
50s