Skip to content

Actions: NSoiffer/MathCAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
748 workflow runs
748 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #562: by NSoiffer
October 31, 2023 00:55 51s main
main
October 31, 2023 00:55 51s
Three characters missing indicators that they are closing (after) cha… Rust #23: Commit 378e0c3 pushed by NSoiffer
October 31, 2023 00:48 2m 47s main
main
October 31, 2023 00:48 2m 47s
pages build and deployment pages-build-deployment #561: by NSoiffer
October 31, 2023 00:48 57s main
main
October 31, 2023 00:48 57s
Merge branch 'main' of github.com:NSoiffer/MathCAT Rust #22: Commit af784ba pushed by NSoiffer
October 31, 2023 00:18 2m 58s main
main
October 31, 2023 00:18 2m 58s
pages build and deployment pages-build-deployment #560: by NSoiffer
October 31, 2023 00:18 53s main
main
October 31, 2023 00:18 53s
Adds middle dot (U+00B7) to list of shorthand dot-like chars for mover. Rust #21: Commit 9b1cf66 pushed by NSoiffer
October 31, 2023 00:17 2m 44s main
main
October 31, 2023 00:17 2m 44s
pages build and deployment pages-build-deployment #559: by NSoiffer
October 31, 2023 00:17 56s main
main
October 31, 2023 00:17 56s
Remove rule that was leftover from Nemeth (which I think served as a … Rust #20: Commit 46382d1 pushed by NSoiffer
October 31, 2023 00:02 2m 50s main
main
October 31, 2023 00:02 2m 50s
pages build and deployment pages-build-deployment #558: by NSoiffer
October 31, 2023 00:02 58s main
main
October 31, 2023 00:02 58s
Minor clean up to rule -- no effect on test output Rust #19: Commit 6e9887f pushed by NSoiffer
October 30, 2023 21:42 2m 48s main
main
October 30, 2023 21:42 2m 48s
pages build and deployment pages-build-deployment #557: by NSoiffer
October 30, 2023 21:42 58s main
main
October 30, 2023 21:42 58s
Replaced repeatitive test for adding parens in CMU with a new xpath f… Rust #18: Commit 8388296 pushed by NSoiffer
October 28, 2023 03:50 3m 12s main
main
October 28, 2023 03:50 3m 12s
pages build and deployment pages-build-deployment #556: by NSoiffer
October 28, 2023 03:50 47s main
main
October 28, 2023 03:50 47s
Move reduce_stack() down a few lines -- no real change, but consistan… Rust #17: Commit 297490d pushed by NSoiffer
October 28, 2023 00:09 2m 49s main
main
October 28, 2023 00:09 2m 49s
pages build and deployment pages-build-deployment #555: by NSoiffer
October 28, 2023 00:09 1m 7s main
main
October 28, 2023 00:09 1m 7s
Fix long standing canonicalize bug that showed up with "∂x∂y" -- was … Rust #16: Commit 2cc8ae8 pushed by NSoiffer
October 28, 2023 00:03 2m 50s main
main
October 28, 2023 00:03 2m 50s
pages build and deployment pages-build-deployment #554: by NSoiffer
October 28, 2023 00:03 54s main
main
October 28, 2023 00:03 54s
Cleaned up the number tests to make use of the locale for Spanish. Rust #15: Commit e3fb0a4 pushed by NSoiffer
October 27, 2023 18:50 3m 45s main
main
October 27, 2023 18:50 3m 45s
pages build and deployment pages-build-deployment #553: by NSoiffer
October 27, 2023 18:50 50s main
main
October 27, 2023 18:50 50s
This is a hack fix to a problem of when something should be sent thro… Rust #14: Commit e29f6a9 pushed by NSoiffer
October 26, 2023 18:47 2m 57s main
main
October 26, 2023 18:47 2m 57s
pages build and deployment pages-build-deployment #552: by NSoiffer
October 26, 2023 18:47 57s main
main
October 26, 2023 18:47 57s
Merge pull request #200 from rob-aph/uebAboveBelow Rust #13: Commit 0c603e1 pushed by NSoiffer
October 25, 2023 20:19 2m 48s main
main
October 25, 2023 20:19 2m 48s
pages build and deployment pages-build-deployment #551: by NSoiffer
October 25, 2023 20:19 59s main
main
October 25, 2023 20:19 59s
clippy cleanup Rust #12: Commit 3424e73 pushed by NSoiffer
October 25, 2023 18:54 3m 30s main
main
October 25, 2023 18:54 3m 30s
pages build and deployment pages-build-deployment #550: by NSoiffer
October 25, 2023 18:54 55s main
main
October 25, 2023 18:54 55s
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.