github action: add git safe directory
Where we use git commands directly, we need to add safe directory. This is because
the recent git changes introduced, for details visit:
https://github.com/actions/checkout/issues/766
ls
1 parent 8a59067 commit ad15f0a7dc5e94e226b28a4243121a3ec81d3e7f
@Martin Kojtal Martin Kojtal authored on 20 Apr 2022
Showing 2 changed files
View
.github/workflows/basic_checks.yml
View
.github/workflows/main.yml