Mirror
/
ardupilot
mirror of https://github.com/ArduPilot/ardupilot
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI: added git safe directory

This commit is contained in:
Andrew Tridgell 2023-02-09 11:43:34 +11:00
parent bc4db71867
commit 28c4f7197b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ccache.env vendored
View File

@ -1,6 +1,8 @@
# common ccache env vars for CI # common ccache env vars for CI
export CCACHE_SLOPPINESS=file_stat_matches export CCACHE_SLOPPINESS=file_stat_matches
git config --global --add safe.directory ${GITHUB_WORKSPACE}
mkdir -p ~/.ccache mkdir -p ~/.ccache
echo "base_dir = ${GITHUB_WORKSPACE}" > ~/.ccache/ccache.conf echo "base_dir = ${GITHUB_WORKSPACE}" > ~/.ccache/ccache.conf
echo "compression = true" >> ~/.ccache/ccache.conf echo "compression = true" >> ~/.ccache/ccache.conf