Skip to content

Commit

Permalink
Update action.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
F-WRunTime authored Oct 4, 2023
1 parent 2ff5a86 commit cdf27d2
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/actions/with-docker/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@ runs:
--detach \
--user root \
--workdir /home/user/workspace \
runtimeverificationinc/kontrol:ubuntu-jammy-${CONTAINER_VERSION}
ghcr.io/runtimeverification/devops/kontrol-kup:0.1.15
# Copy the current Checkout direcotry into the container
docker cp . ${CONTAINER_NAME}:/home/user/workspace
docker exec ${CONTAINER_NAME} chown -R user:user /home/user
docker cp . ${CONTAINER_NAME}:/home/ubuntu/workspace
docker exec ${CONTAINER_NAME} chown -R ubuntu:ubuntu /home/user

0 comments on commit cdf27d2

Please sign in to comment.