Skip to content

Updates github action for ruff#173

Merged
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:ci
Jul 21, 2025
Merged

Updates github action for ruff#173
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:ci

Commits

Commits on Jul 18, 2025