Tweak CI: remove on push for PRs and add names to CI steps #46
Triggered via pull request
July 4, 2024 09:18
MattijsKneppers
MattijsKneppers
synchronize
#37
Status
Success
Total duration
16s
Artifacts
–