Skip to content

Add GitHub Actions workflow for pull requests#76

Merged
ajschmidt8 merged 2 commits intomasterfrom
pr-workflow
Feb 23, 2025
Merged

Add GitHub Actions workflow for pull requests#76
ajschmidt8 merged 2 commits intomasterfrom
pr-workflow

Commits

Commits on Feb 23, 2025