split builds so we can have seperate status badges

ethz-asl · May 3, 2022 · 73df2a3 · 73df2a3
1 parent a91448a
commit 73df2a3
Show file tree

Hide file tree

Showing 4 changed files with 69 additions and 52 deletions.
diff --git a/.github/workflows/docker_1604_build.yaml b/.github/workflows/docker_1604_build.yaml
@@ -0,0 +1,23 @@
+name: "ROS1 Ubuntu 16.04"
+
+on:
+  push:
+    branches: [ master, dockerfile ]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Code Checkout
+        uses: actions/checkout@v2
+      - name: Create Workspace
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          cd $GITHUB_WORKSPACE/.. && mkdir src/ &&
+          mv $REPO/ src/ && mkdir $REPO/ && mv src/ $REPO/ && cd $REPO/
+      - name: Build Docker
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          docker build -t kalibr -f $GITHUB_WORKSPACE/src/$REPO/Dockerfile_ros1_16_04 .
+
diff --git a/.github/workflows/docker_1804_build.yaml b/.github/workflows/docker_1804_build.yaml
@@ -0,0 +1,23 @@
+name: "ROS1 Ubuntu 18.04"
+
+on:
+  push:
+    branches: [ master, dockerfile ]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Code Checkout
+        uses: actions/checkout@v2
+      - name: Create Workspace
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          cd $GITHUB_WORKSPACE/.. && mkdir src/ &&
+          mv $REPO/ src/ && mkdir $REPO/ && mv src/ $REPO/ && cd $REPO/
+      - name: Build Docker
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          docker build -t kalibr -f $GITHUB_WORKSPACE/src/$REPO/Dockerfile_ros1_18_04 .
+
diff --git a/.github/workflows/docker_2004_build.yaml b/.github/workflows/docker_2004_build.yaml
@@ -0,0 +1,23 @@
+name: "ROS1 Ubuntu 20.04"
+
+on:
+  push:
+    branches: [ master, dockerfile ]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Code Checkout
+        uses: actions/checkout@v2
+      - name: Create Workspace
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          cd $GITHUB_WORKSPACE/.. && mkdir src/ &&
+          mv $REPO/ src/ && mkdir $REPO/ && mv src/ $REPO/ && cd $REPO/
+      - name: Build Docker
+        run: |
+          export REPO=$(basename $GITHUB_REPOSITORY) &&
+          docker build -t kalibr -f $GITHUB_WORKSPACE/src/$REPO/Dockerfile_ros1_20_04 .
+
diff --git a/.github/workflows/docker_build.yaml b/.github/workflows/docker_build.yaml