github-actions released this 01 Jul 07:39

· 2 commits to main since this release

v5.2.0.202407010739

c9bb305

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Learn about vigilant mode.

Merge pull request #88 from PalladioSimulator/better-action-logs

Only try to move log files if they exist