Skip to content

Merge branch 'develop' #13

Merge branch 'develop'

Merge branch 'develop' #13

Workflow file for this run

name: Evolver build Docker Image
on:
push:
branches: [ "main" ]
paths:
- "Dockerfile"
- "docker-entrypoint.sh"
- "src/**"
- "pom.xml"
- "resources/**"
pull_request:
branches: [ "main" ]
paths:
- "Dockerfile"
- "docker-entrypoint.sh"
- "src/**"
- "pom.xml"
- "resources/**"
jobs:
build-evolver:
runs-on: ubuntu-latest
steps:
- name: Build and push the Docker Image to the GitHub Container Registry
uses: actions/checkout@v3
- name: Build and push the Docker Image to the GitHub Container Registry
uses: docker/[email protected]
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Build and push Docker images
uses: docker/[email protected]
with:
context: .
file: ./Dockerfile
push: true
tags: ghcr.io/jmetal/evolver
labels: latest
build-dashboard:
needs: build-evolver
uses: ./.github/workflows/build-evolver-dashboard.yml