diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2022-04-20 09:11:29 -0400 |
|---|---|---|
| committer | Edward Thomson <ethomson@edwardthomson.com> | 2022-04-20 15:17:46 -0400 |
| commit | c6416100e8e2418608b093682be306771134ff63 (patch) | |
| tree | dec59672f4b1e042007f1061f2632e3ede16266e /.github | |
| parent | 06b32a3f74c8ed97d07e64a372a3192fee6fb41d (diff) | |
| download | libgit2-c6416100e8e2418608b093682be306771134ff63.tar.gz | |
ci: map the build folder in container builds
Now that the containers all set the user id of the libgit2 build user to
the user id of the host runner, we can write to a shared build output
volume.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 774381faa..16428be6e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -237,10 +237,12 @@ jobs: export GITTEST_NEGOTIATE_PASSWORD="${{ secrets.GITTEST_NEGOTIATE_PASSWORD }}" if [ -n "${{ matrix.platform.container.name }}" ]; then + mkdir build docker run \ --rm \ --user libgit2:libgit2 \ -v "$(pwd)/source:/home/libgit2/source" \ + -v "$(pwd)/build:/home/libgit2/build" \ -w /home/libgit2 \ -e ASAN_SYMBOLIZER_PATH \ -e CC \ @@ -255,9 +257,10 @@ jobs: -e TSAN_OPTIONS \ -e UBSAN_OPTIONS \ ${{ env.docker-registry-container-sha }} \ - /bin/bash -c "mkdir build && cd build && ../source/ci/build.sh && ../source/ci/test.sh" + /bin/bash -c "cd build && ../source/ci/build.sh && ../source/ci/test.sh" else - mkdir build && cd build + mkdir build + cd build ../source/ci/build.sh ../source/ci/test.sh fi |