Add gitea workflow

.gitea/workflows/fail-docker.yaml

@@ -0,0 +1,58 @@
+name: Build FAIL* Docker Images
+
+on:
+  push:
+    branches: [disabled]
+    # branches: [master]
+    # paths:
+    #   - ".gitea/workflows/fail-docker.yaml"
+    #   - "fail-base.dockerfile"
+    #   - "fail-demo.dockerfile"
+    #   - "fail-generic-tracing.dockerfile"
+
+jobs:
+  fail-base-docker:
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Login to container registry
+        uses: docker/login-action@v3
+        with:
+          registry: gitea.vps.chriphost.de
+          username: ${{ secrets.CONTAINER_REGISTRY_USER }}
+          password: ${{ secrets.CONTAINER_REGISTRY_TOKEN }}
+      - name: Build FAIL* Base Docker Image
+        run: docker build --file fail-base.dockerfile --tag gitea.vps.chriphost.de/christoph/fail-base:latest .
+      - name: Push FAIL* Base Docker Image
+        run: docker push gitea.vps.chriphost.de/christoph/fail-base:latest
+  fail-generic-tracing-docker:
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Login to container registry
+        uses: docker/login-action@v3
+        with:
+          registry: gitea.vps.chriphost.de
+          username: ${{ secrets.CONTAINER_REGISTRY_USER }}
+          password: ${{ secrets.CONTAINER_REGISTRY_TOKEN }}
+      - name: Build FAIL* Generic Tracing Docker Image
+        run: docker build --file fail-generic-tracing.dockerfile --tag gitea.vps.chriphost.de/christoph/fail-generic-tracing:latest .
+      - name: Push FAIL* Generic Tracing Docker Image
+        run: docker push gitea.vps.chriphost.de/christoph/fail-generic-tracing:latest
+  fail-demo-docker:
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Login to container registry
+        uses: docker/login-action@v3
+        with:
+          registry: gitea.vps.chriphost.de
+          username: ${{ secrets.CONTAINER_REGISTRY_USER }}
+          password: ${{ secrets.CONTAINER_REGISTRY_TOKEN }}
+      - name: Build FAIL* Demo Docker Image
+        run: docker build --file fail-demo.dockerfile --tag gitea.vps.chriphost.de/christoph/fail-demo:latest .
+      - name: Push FAIL* Demo Docker Image
+        run: docker push gitea.vps.chriphost.de/christoph/fail-demo:latest

.gitignore

@@ -10,7 +10,6 @@
 *.pyc
 *.swp
 *~
-Makefile
 build
 build-*
 .deps

Makefile

@@ -0,0 +1,13 @@
+docker:
+	docker build -t gitea.vps.chriphost.de/christoph/fail-base:latest -f fail-base.dockerfile . --build-arg CACHE_DATE="$(shell date)"
+	docker build -t gitea.vps.chriphost.de/christoph/fail-generic-tracing:latest -f fail-generic-tracing.dockerfile .
+	docker build -t gitea.vps.chriphost.de/christoph/fail-demo:latest -f fail-demo.dockerfile . --build-arg CACHE_DATE="$(shell date)"
+
+run:
+	docker compose up -d --force-recreate --renew-anon-volumes -y
+
+stop:
+	docker compose down
+
+ssh:
+	ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -p 5022 fail@127.0.0.1

docker-compose.yaml

@@ -13,13 +13,15 @@ services:
       - fail-network
 
   fail-demo:
-    image: fail-demo
+    image: gitea.vps.chriphost.de/christoph/fail-demo:latest
     container_name: fail-demo
     ports:
       - "5000:5000" # Result Browser
       - "5022:22" # SSH
     networks:
       - fail-network
+    volumes:
+      - "../3 Wasm/examples/build-bochs:/home/fail/fail-wasm/examples/build-bochs"
 
 networks:
   fail-network:

fail-demo.dockerfile

@@ -3,7 +3,7 @@
 # generic-tracing experiment was already built and the binaries are in
 # place (~fail/bin/*)
 
-FROM fail-generic-tracing
+FROM gitea.vps.chriphost.de/christoph/fail-generic-tracing:latest
 
 LABEL org.opencontainers.image.authors="Christian Dietrich <stettberger@dokucode.de>"
 
@@ -14,7 +14,7 @@ RUN chown fail /home/fail/.my.cnf
 USER fail
 WORKDIR /home/fail
 RUN echo 'export PATH=$HOME/bin:$PATH' >> ~/.profile \
- && echo 'cd $HOME/fail-targets' >> ~/.profile
+ && echo 'cd $HOME/fail-wasm/examples' >> ~/.profile
 
 WORKDIR fail
 RUN mkdir build; cd build
@@ -130,6 +130,7 @@ RUN apt-get update \
     # python2-mysqldb \
     # python2-yaml \
     unzip \
+    bochs \
  && apt-get clean
 
 # Fix old shebangs
@@ -149,6 +150,7 @@ ARG CACHE_DATE=1970-01-01
 WORKDIR /home/fail
 # RUN git clone https://github.com/danceos/fail-targets.git
 RUN git clone https://gitea.vps.chriphost.de/christoph/fail-targets
+RUN git clone https://gitea.vps.chriphost.de/christoph/fail-wasm
 
 USER root
 

fail-generic-tracing.dockerfile

@@ -1,6 +1,6 @@
 # Inherit from docker container that has the fail source code prepared,
 # including all tools which are needed to build FAIL*
-FROM fail-base
+FROM gitea.vps.chriphost.de/christoph/fail-base:latest
 
 LABEL org.opencontainers.image.authors="Christian Dietrich <stettberger@dokucode.de>"
 

scripts/docker/Makefile

@@ -1,12 +0,0 @@
-build-all:
-	docker build -t fail-base fail-base --build-arg CACHE_DATE="$(shell date)"
-	docker build -t fail-generic-tracing fail-generic-tracing
-	docker build -t fail-demo fail-demo --build-arg CACHE_DATE="$(shell date)"
-
-run-all: .compose ssh
-
-.compose:
-	docker compose up -d --force-recreate --renew-anon-volumes -y
-
-ssh:
-	ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -p 5022 fail@127.0.0.1