Skip to content

Actions: kercle/cassida

Actions

Build and push to gh-pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
114 workflow runs
114 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
Add raw RUBI files for easier migration. Build and push to gh-pages #114: Commit f4e3e05 pushed by kercle
2m 53s main
main
2m 53s
Add files for RUBI rules 4.1.10, 4.1.11 and 4.7.6. Build and push to gh-pages #113: Commit 52c0ee1 pushed by kercle
2m 41s main
main
2m 41s
Enable more integration rules. Build and push to gh-pages #112: Commit dacea64 pushed by kercle
2m 38s main
main
2m 38s
Enable a few more exponential rules. Build and push to gh-pages #111: Commit 7a29bbc pushed by kercle
2m 26s main
main
2m 26s
Enable RUBI 2.3 Miscellaneous exponentials. Build and push to gh-pages #110: Commit 0bffe3e pushed by kercle
2m 26s main
main
2m 26s
Start including RUBI. Build and push to gh-pages #109: Commit 3db2155 pushed by kercle
1m 38s main
main
1m 38s
Add normalization logic for inequalities. Build and push to gh-pages #108: Commit af4dc96 pushed by kercle
1m 28s main
main
1m 28s
Transition to MathML in favor of KaTex to reduce dependencies. Build and push to gh-pages #107: Commit eae5641 pushed by kercle
1m 32s main
main
1m 32s
Add rudimentary boolean logic. Build and push to gh-pages #106: Commit b888aa5 pushed by kercle
1m 34s main
main
1m 34s
Update Readme and fix minor clippy suggestions. Build and push to gh-pages #105: Commit f3e8488 pushed by kercle
1m 28s main
main
1m 28s
Add mathml formatter for expressions. Build and push to gh-pages #104: Commit 6396959 pushed by kercle
1m 33s main
main
1m 33s
Clean Web-REPL frontend. Build and push to gh-pages #103: Commit 0a1f791 pushed by kercle
1m 18s main
main
1m 18s
Fix parsing implicit products. Build and push to gh-pages #102: Commit f46b931 pushed by kercle
1m 38s main
main
1m 38s
Refactor kernel into dedicated crate and reuse kernel object in stati… Build and push to gh-pages #101: Commit d1fb608 pushed by kercle
1m 29s main
main
1m 29s
Fix typo. Build and push to gh-pages #100: Commit fd3a716 pushed by kercle
1m 8s main
main
1m 8s
Implement extended gcd for univariate polynomials. Build and push to gh-pages #99: Commit 1339ae8 pushed by kercle
1m 15s main
main
1m 15s
Delegate last application validations to builtin function. Build and push to gh-pages #98: Commit 0f3d7e3 pushed by kercle
1m 17s main
main
1m 17s
Remove dbg message. Build and push to gh-pages #97: Commit 128f709 pushed by kercle
1m 18s main
main
1m 18s
Outsource normalization for a few nodes into their own functions. Build and push to gh-pages #96: Commit 2d906c6 pushed by kercle
1m 8s main
main
1m 8s
Document public facing merge API for pattern programs. Build and push to gh-pages #95: Commit 26a64b5 pushed by kercle
1m 17s main
main
1m 17s
Load ultiple rules from a stingle expression in integrate builtin. Build and push to gh-pages #94: Commit 7d87926 pushed by kercle
1m 5s main
main
1m 5s
Rename project to Cassida. Build and push to gh-pages #93: Commit bb09a66 pushed by kercle
1m 9s main
main
1m 9s
Fix order in normalization. Build and push to gh-pages #92: Commit ad89504 pushed by kercle
58s main
main
58s
Allow for linear transformation in integrals. Build and push to gh-pages #91: Commit a8be7e1 pushed by kercle
1m 5s main
main
1m 5s
Introduce previous imprecise integration rules with new conditional p… Build and push to gh-pages #90: Commit 67b1381 pushed by kercle
1m 10s main
main
1m 10s