@waja
waja Merge pull request #23 from waja/dependabot-github_actions-actions-ch…
b54ab0b Sep 5, 2023
Merge pull request #23 from waja/dependabot-github_actions-actions-ch… 
…eckout-4

Bump actions/checkout from 3 to 4
b54ab0b