Skip to content

Install libopenmpi-dev for mpi-hs. #37

Install libopenmpi-dev for mpi-hs.

Install libopenmpi-dev for mpi-hs. #37

Workflow file for this run

name: image
on:
push:
branches:
- nightly
- lts21
- lts22
jobs:
push:
runs-on: ubuntu-latest
if: github.event_name == 'push'
steps:
- uses: actions/checkout@v3
- name: Log into Github registry
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login docker.pkg.github.com -u ${{ github.actor }} --password-stdin
- name: Build image
run: |
IMAGE_ID=docker.pkg.github.com/${{ github.repository }}/build:${GITHUB_REF#refs/heads/}
#IMAGE_ID=${{ github.repository }}:${GITHUB_REF#refs/heads/}
docker build . -f Dockerfile --tag $IMAGE_ID
docker push $IMAGE_ID
echo Pushed new build image $IMAGE_ID