Skip to content

fixes README

fixes README #14

Workflow file for this run

name: Verification of WireGuard Case Study
on:
push:
jobs:
build-verify:
runs-on: ubuntu-latest
timeout-minutes: 30
env:
IMAGE_NAME: securityprotocolimplementations-wireguard
steps:
- name: Checkout repo
uses: actions/checkout@v3
- name: Create Image ID
run: |
REPO_OWNER=$(echo "${{ github.repository_owner }}" | tr '[:upper:]' '[:lower:]')
echo "IMAGE_ID=ghcr.io/$REPO_OWNER/${{ env.IMAGE_NAME }}" >>$GITHUB_ENV
- name: Image version
run: |
VERSION=$(echo "${{ github.ref }}" | sed -e 's,.*/\(.*\),\1,')
[ "$VERSION" == "main" ] && VERSION=latest
echo "IMAGE_TAG=${{ env.IMAGE_ID }}:$VERSION" >> $GITHUB_ENV
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
- name: Build image
uses: docker/build-push-action@v4
with:
context: .
load: true
file: casestudies/wireguard/docker/Dockerfile
tags: ${{ env.IMAGE_TAG }}
labels: "runnumber=${{ github.run_id }}"
push: false
cache-from: type=gha, scope=${{ github.workflow }}
cache-to: type=gha, scope=${{ github.workflow }}
- name: Execute initiator & responder
run: docker run ${{ env.IMAGE_TAG }} ./test.sh
- name: Verify initiator & responder
run: docker run ${{ env.IMAGE_TAG }} ./verify.sh
- name: Login to Github Packages
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Push image
uses: docker/build-push-action@v4
with:
context: .
file: casestudies/wireguard/docker/Dockerfile
tags: ${{ env.IMAGE_TAG }}
labels: "runnumber=${{ github.run_id }}"
push: true
cache-from: type=gha, scope=${{ github.workflow }}
cache-to: type=gha, scope=${{ github.workflow }}