Skip to content

Improvements

Improvements #8

Workflow file for this run

name: Docker
# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
# separate terms of service, privacy policy, and support
# documentation.
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
# Use docker.io for Docker Hub if empty
REGISTRY: ghcr.io
# github.repository as <account>/<repo>
IMAGE_NAME: ${{ github.repository }}
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: read
packages: write
# This is used to complete the identity challenge
# with sigstore/fulcio when running outside of PRs.
id-token: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
- run: |
docker build . -t "ghcr.io/${{ github.repository }}:hello-world-crac-checkpointer" --file crac/Dockerfile
CONTAINER_ID=$(docker run -d --cap-add CHECKPOINT_RESTORE --cap-add SYS_PTRACE --rm --name hello-world-crac-checkpointer "ghcr.io/${{ github.repository }}:hello-world-crac-checkpointer")
while logs=$(docker logs "$CONTAINER_ID" 2>&1); do
echo "$logs" | grep -q "Checkpoint creation succeeded" && echo "Checkpoint creation succeeded" && break
echo "$logs" | grep -q "Checkpoint creation failed" && echo "Checkpoint creation failed" && exit 1
sleep 2
done
docker commit --change='ENTRYPOINT ["/opt/app/entrypoint.sh"]' $CONTAINER_ID "ghcr.io/${{ github.repository }}:hello-world-crac"
docker kill $CONTAINER_ID
- run: |
CONTAINER_ID=$(docker run -d --cap-add CHECKPOINT_RESTORE --cap-add SYS_PTRACE --rm --name hello-world-crac-checkpointer "ghcr.io/${{ github.repository }}:hello-world-crac-checkpointer")
echo "Container ID: $CONTAINER_ID"
while logs=$(docker logs "$CONTAINER_ID" 2>&1); do
echo "$logs" | grep -q "Checkpoint creation succeeded" && echo "Checkpoint creation succeeded" && break
echo "$logs" | grep -q "Checkpoint creation failed" && echo "Checkpoint creation failed" && exit 1
sleep 2
done
docker commit --change='ENTRYPOINT ["/opt/app/entrypoint.sh"]' $CONTAINER_ID "ghcr.io/${{ github.repository }}:hello-world-crac"
docker kill $CONTAINER_ID
- uses: docker/login-action@65b78e6e13532edd9afa3aa52ac7964289d1a9c1
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- run: docker push ghcr.io/${{ github.repository }}:hello-world-crac