Skip to content

Actions: kercle/cassida

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 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
pages build and deployment pages-build-deployment #116: by github-pages Bot
21s gh-pages
gh-pages
21s
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
pages build and deployment pages-build-deployment #115: by github-pages Bot
25s gh-pages
gh-pages
25s
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
pages build and deployment pages-build-deployment #114: by github-pages Bot
25s gh-pages
gh-pages
25s
Enable more integration rules. Build and push to gh-pages #112: Commit dacea64 pushed by kercle
2m 38s main
main
2m 38s
pages build and deployment pages-build-deployment #113: by github-pages Bot
22s gh-pages
gh-pages
22s
Enable a few more exponential rules. Build and push to gh-pages #111: Commit 7a29bbc pushed by kercle
2m 26s main
main
2m 26s
pages build and deployment pages-build-deployment #112: by github-pages Bot
25s gh-pages
gh-pages
25s
Enable RUBI 2.3 Miscellaneous exponentials. Build and push to gh-pages #110: Commit 0bffe3e pushed by kercle
2m 26s main
main
2m 26s
pages build and deployment pages-build-deployment #111: by github-pages Bot
23s gh-pages
gh-pages
23s
Start including RUBI. Build and push to gh-pages #109: Commit 3db2155 pushed by kercle
1m 38s main
main
1m 38s
pages build and deployment pages-build-deployment #110: by github-pages Bot
24s gh-pages
gh-pages
24s
Add normalization logic for inequalities. Build and push to gh-pages #108: Commit af4dc96 pushed by kercle
1m 28s main
main
1m 28s
pages build and deployment pages-build-deployment #109: by github-pages Bot
24s gh-pages
gh-pages
24s
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
pages build and deployment pages-build-deployment #108: by github-pages Bot
29s gh-pages
gh-pages
29s
Add rudimentary boolean logic. Build and push to gh-pages #106: Commit b888aa5 pushed by kercle
1m 34s main
main
1m 34s
pages build and deployment pages-build-deployment #107: by github-pages Bot
28s gh-pages
gh-pages
28s
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
pages build and deployment pages-build-deployment #106: by github-pages Bot
26s gh-pages
gh-pages
26s
Add mathml formatter for expressions. Build and push to gh-pages #104: Commit 6396959 pushed by kercle
1m 33s main
main
1m 33s
pages build and deployment pages-build-deployment #105: by github-pages Bot
26s gh-pages
gh-pages
26s
Clean Web-REPL frontend. Build and push to gh-pages #103: Commit 0a1f791 pushed by kercle
1m 18s main
main
1m 18s
pages build and deployment pages-build-deployment #104: by github-pages Bot
25s gh-pages
gh-pages
25s