Skip to content

Fix ghc image pushing #20

Fix ghc image pushing

Fix ghc image pushing #20

Workflow file for this run

name: Build
on:
pull_request:
push:
tags:
- '*'
branches:
- master
jobs:
build:
name: CI
runs-on: ubuntu-latest
steps:
- name: Clone project
uses: actions/checkout@v2
- uses: extractions/setup-just@v1
with:
just-version: 1.8.0
- name: Log in to the Container registry
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- uses: cachix/install-nix-action@v22
with:
nix_path: nixpkgs=channel:nixos-unstable
- name: Build images (Nix)
shell: bash
run: |
set -exuo pipefail
just build-nix-image
just load-nix-image
just build-image
- name: Test image (Nix)
shell: bash
run: just test-image
- name: Build images (GHC official)
shell: bash
run: |
set -exuo pipefail
just build-ghc-image
- name: Test image (GHC official)
shell: bash
run: just test-ghc-image
- name: Push image
if: startsWith(github.ref, 'refs/tags/')
shell: bash
run: |
set -exuo pipefail
just push-image
just push-ghc-image
- name: Release
uses: softprops/action-gh-release@v1
if: startsWith(github.ref, 'refs/tags/')
with:
generate_release_notes: true