Skip to content

Actions: soegaard/racket-cas

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Fix bug with exponent .github/workflows/push.yml #23: Commit 1ed665b pushed by soegaard
July 1, 2023 22:11 48s master
master
July 1, 2023 22:11 48s