Cleanups to github actions workflow (#1476)

This commit is contained in:
Richard van der Hoff 2023-03-29 11:16:52 +01:00 committed by GitHub
parent a21b23dda8
commit ac8d34bc81
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 20 additions and 5 deletions

View file

@ -0,0 +1 @@
Minor cleanups to the GitHub Actions workflows