Skip to content

N
nebula
Commit 24b7cc87 authored by F-WRunTime's avatar F-WRunTime
Browse files
Options

Update permissions, Add comments to script

parent 4599bcdc
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 0 deletions
packages/contracts-bedrock/scripts/kontrol.sh 100644 → 100755
View file @ 24b7cc87
#!/usr/bin/env bash #!/usr/bin/env bash
set -exuo pipefail
# Setup Kontrol # Setup Kontrol
export KONTROL_VERSION=$(cat .kontrolrc) export KONTROL_VERSION=$(cat .kontrolrc)
docker run --name optimism-ci \ docker run --name optimism-ci \
...@@ -10,6 +11,8 @@ docker run --name optimism-ci \ ...@@ -10,6 +11,8 @@ docker run --name optimism-ci \
--user root \ --user root \
--workdir /home/user/workspace \ --workdir /home/user/workspace \
runtimeverificationinc/kontrol:ubuntu-jammy-${KONTROL_VERSION} runtimeverificationinc/kontrol:ubuntu-jammy-${KONTROL_VERSION}
# Copy in current test envionrment
docker cp . optimism-ci:/home/user/workspace docker cp . optimism-ci:/home/user/workspace
docker exec optimism-ci chown -R user:user /home/user docker exec optimism-ci chown -R user:user /home/user
# Run Kontrol Tests
docker exec -u user optimism-ci bash -c 'cd packages/contracts-bedrock && ./test/kontrol/kontrol/run-kontrol.sh' docker exec -u user optimism-ci bash -c 'cd packages/contracts-bedrock && ./test/kontrol/kontrol/run-kontrol.sh'
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment