This repository was archived by the owner on Sep 1, 2022. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +14
-5
lines changed
courses/cpp/ctf-segv/image Expand file tree Collapse file tree 3 files changed +14
-5
lines changed Original file line number Diff line number Diff line change @@ -20,10 +20,13 @@ USER root
20
20
RUN apt-get install -y git curl
21
21
RUN curl -sL https://deb.nodesource.com/setup_12.x | bash -
22
22
RUN apt-get install -y nodejs
23
- USER codeql
23
+
24
+ # Temporarily disable running script as user codeql as we're unable to run
25
+ # certain git commands due to permissions
26
+ # USER codeql
24
27
25
28
# Add CodeQL repo
26
- RUN git clone https://github.com/Semmle/ql.git ~ /codeql-home/codeql-repo
29
+ RUN git clone https://github.com/Semmle/ql.git /home/codeql /codeql-home/codeql-repo
27
30
28
31
WORKDIR /home/codeql/codeql-home/codeql-repo/
29
32
RUN git checkout ed97be459fed23c9f07a0e1895176bad7ba6c686
Original file line number Diff line number Diff line change 5
5
6
6
docker login docker.pkg.github.com -u github-actions -p ${GITHUB_TOKEN}
7
7
8
- IMAGE_VERSION=v0.0.2
9
- IMAGE_TAG=docker.pkg.github.com/github/codeql-learninglab-actions/codeql-learninglab-check:${IMAGE_VERSION}
8
+ PREV_IMAGE_VERSION=v0.0.2
9
+ IMAGE_VERSION=v0.0.3
10
+ IMAGE_PATH=docker.pkg.github.com/github/codeql-learninglab-actions/codeql-learninglab-check
11
+ IMAGE_TAG=${IMAGE_PATH} :${IMAGE_VERSION}
12
+
13
+ # Pull the previous image to optimise build and skip uneccesary steps and share
14
+ # more of the image with previous versions
15
+ docker pull ${IMAGE_PATH} :${PREV_IMAGE_VERSION}
10
16
11
17
if docker pull $IMAGE_TAG ; then
12
18
echo " image tag already exist, skipping..."
Original file line number Diff line number Diff line change 1
- FROM docker.pkg.github.com/github/codeql-learninglab-actions/codeql-learninglab-check:v0.0.2
1
+ FROM docker.pkg.github.com/github/codeql-learninglab-actions/codeql-learninglab-check:v0.0.3
2
2
3
3
# # Specific Course
4
4
COPY --chown=codeql:codeql config /home/codeql/config
You can’t perform that action at this time.
0 commit comments