secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

docker: refine git safe.directory 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Nick Spinale 2025-07-13 01:57:18 -07:00 committed by Gerwin Klein
parent 57322e4d3c
commit 34a1b491f6
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/Dockerfile
View File

@ -39,7 +39,7 @@ RUN mkdir -p /opt/microkit/sdk \
RUN mkdir -p /opt/seL4 && ln -s /opt/microkit/sdk/board/qemu_virt_aarch64/debug/ /opt/seL4/libsel4
RUN git config --global --add safe.directory '*'
RUN git config --global --add safe.directory '/docs'
# Jekyll will be serving on 127.0.0.1:4000
EXPOSE 4000