Skip to content

Adds github workflow "runTests.yml"#3

Merged
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:actions
Jul 14, 2023
Merged

Adds github workflow "runTests.yml"#3
DrPaulSharp merged 1 commit intoRascalSoftware:mainfrom
DrPaulSharp:actions

Commits

Commits on Jul 14, 2023