Minor GitHub workflow changes #173
Triggered via pull request
January 24, 2024 22:06
kellertk
Status
Success
Total duration
3h 11m 58s
Artifacts
–