Robert Wieczoreck b896fd2f38 Add option to fetch tags even if fetch-depth > 0

2023-07-01 16:53:05 +02:00

..

index.js

Add option to fetch tags even if fetch-depth > 0

2023-07-01 16:53:05 +02:00

problem-matcher.json

Convert checkout to a regular action (#70)

2019-12-03 10:28:59 -05:00