Closed FeynmanZhou closed 1 year ago
Notation CLI has released v1.0.0 today. Let's update the version of the notation setup action from v1.0.0-rc.7 to v1.0.0 so users can use the latest version of Notation in GitHub Actions.
Notation CLI has released v1.0.0 today. Let's update the version of the notation setup action from v1.0.0-rc.7 to v1.0.0 so users can use the latest version of Notation in GitHub Actions.