Skip to content

Actions: soegaard/racket-cas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle (vec OA) in (- (vec OB) (vec OA)) .github/workflows/push.yml #34: Commit a236b42 pushed by soegaard
September 20, 2024 11:36 38s master
master
September 20, 2024 11:36 38s
Remove space after ' in y' from (diff y x) .github/workflows/push.yml #33: Commit d2f2292 pushed by soegaard
June 5, 2024 10:44 37s master
master
June 5, 2024 10:44 37s
Use phantom{-} in (up a b), where only one of a and b have a minus si… .github/workflows/push.yml #32: Commit e1c95b0 pushed by soegaard
March 4, 2024 22:12 44s master
master
March 4, 2024 22:12 44s
Explicit paren in an application uses left and right parens .github/workflows/push.yml #31: Commit 596d478 pushed by soegaard
March 4, 2024 21:03 38s master
master
March 4, 2024 21:03 38s
Improve appearence of (vec a), where a is a single letter. .github/workflows/push.yml #30: Commit 18e5077 pushed by soegaard
March 4, 2024 13:05 40s master
master
March 4, 2024 13:05 40s
Add conditional event .github/workflows/push.yml #29: Commit 6c8e295 pushed by soegaard
January 17, 2024 16:46 40s master
master
January 17, 2024 16:46 40s
Handle more cases for set operations .github/workflows/push.yml #28: Commit f24303b pushed by soegaard
January 16, 2024 22:02 48s master
master
January 16, 2024 22:02 48s
Add formatting for set operations .github/workflows/push.yml #27: Commit 1e5a2c7 pushed by soegaard
January 16, 2024 21:23 47s master
master
January 16, 2024 21:23 47s
Make f'(t) work. .github/workflows/push.yml #26: Commit 092af1a pushed by soegaard
October 3, 2023 15:00 48s master
master
October 3, 2023 15:00 48s
Add paren around negativ numbers and mulitple interms around an integ… .github/workflows/push.yml #25: Commit 331c211 pushed by soegaard
October 3, 2023 12:28 1m 15s master
master
October 3, 2023 12:28 1m 15s
Support single argument for equivalent arrow .github/workflows/push.yml #24: Commit f5cced2 pushed by soegaard
August 2, 2023 12:42 1m 5s master
master
August 2, 2023 12:42 1m 5s