tree 1d1638bbd00500ce835eb6ddffe950f92a5cb552
parent d9b2fd7152573e01f44dff6b3a9e2b78d833b88d
author Marc Kupietz <kupietz@ids-mannheim.de> 1681751530 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1681752351 +0200

Bumb gh workflow actions/checkout from v2 to v3

Change-Id: I0f99ffe981a303b155cbf3cbbcdb29a92be81b69