From fc75b88cb51afa0bd806bcd4c07d40b4dd6100a8 Mon Sep 17 00:00:00 2001 From: Jakub Mandula Date: Fri, 9 Feb 2024 13:22:31 +0100 Subject: [PATCH] Remove old workflows --- .github/workflows/docker_1604_build.yaml | 23 ----------------------- .github/workflows/docker_1804_build.yaml | 23 ----------------------- .github/workflows/docker_2004_build.yaml | 23 ----------------------- .github/workflows/docker_build.yaml | 2 +- 4 files changed, 1 insertion(+), 70 deletions(-) delete mode 100644 .github/workflows/docker_1604_build.yaml delete mode 100644 .github/workflows/docker_1804_build.yaml delete mode 100644 .github/workflows/docker_2004_build.yaml diff --git a/.github/workflows/docker_1604_build.yaml b/.github/workflows/docker_1604_build.yaml deleted file mode 100644 index 38365a2be..000000000 --- a/.github/workflows/docker_1604_build.yaml +++ /dev/null @@ -1,23 +0,0 @@ -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 deleted file mode 100644 index 0e1270aa7..000000000 --- a/.github/workflows/docker_1804_build.yaml +++ /dev/null @@ -1,23 +0,0 @@ -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 deleted file mode 100644 index f25ef547d..000000000 --- a/.github/workflows/docker_2004_build.yaml +++ /dev/null @@ -1,23 +0,0 @@ -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 index a1666f3cd..a1f7b5654 100644 --- a/.github/workflows/docker_build.yaml +++ b/.github/workflows/docker_build.yaml @@ -2,7 +2,7 @@ name: "Build Kalibr" on: push: - branches: [ master, feature/docker_push ] + branches: [ master ] pull_request: jobs: