Skip to content

Update for deprecated GitHub Actions syntax#126

Merged
ageorgou merged 1 commit intomainfrom update-gha-outputOct 12, 2022

Commits

Commits on Oct 12, 2022