firedrake/.github/workflows/docker.yml at main · firedrakeproject/firedrake · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
name: Build and push Docker images

on:
  workflow_call:
    inputs:
      tag:
        description: Docker image tag
        type: string
      build_dev:
        description: Whether to build a developer vanilla-default container
        type: boolean
        default: false
      branch:
        description: Which Firedrake branch to build the containers from
        type: string
        default: "release"
    secrets:
      DOCKERHUB_USER:
        required: true
      DOCKERHUB_TOKEN:
        required: true
  workflow_dispatch:
    inputs:
      tag:
        description: Docker image tag
        type: string
      build_dev:
        description: Whether to build a developer vanilla-default container
        type: boolean
        default: false
      branch:
        description: Which Firedrake branch to build the containers from
        type: string
        default: "release"

jobs:
  # Firedrake only
  docker_build_vanilla:
    strategy:
      fail-fast: false
      matrix:
        os: [Linux, macOS]
        arch: [default, complex]
        include:
        - os: Linux
          platform: linux/amd64
        - os: macOS
          platform: linux/arm64
    uses: ./.github/workflows/docker_build.yml
    with:
      os: ${{ matrix.os }}
      platform: ${{ matrix.platform }}
      arch: ${{ matrix.arch }}
      target: firedrake-vanilla-${{ matrix.arch }}
      tag: ${{ inputs.tag }}
      branch: ${{ inputs.branch }}
      dockerfile: docker/Dockerfile.vanilla
    secrets: inherit

  docker_merge_vanilla:
    needs: docker_build_vanilla
    strategy:
      fail-fast: false
      matrix:
        arch: [default, complex]
    uses: ./.github/workflows/docker_merge.yml
    with:
      target: firedrake-vanilla-${{ matrix.arch }}
      tag: ${{ inputs.tag }}
      tag_latest: ${{ ! inputs.build_dev }}
    secrets: inherit

  # Firedrake and friends
  docker_build_firedrake:
    if: ${{ ! inputs.build_dev }}
    needs: docker_merge_vanilla
    uses: ./.github/workflows/docker_build.yml
    strategy:
      matrix:
        os: [Linux, macOS]
        include:
        - os: Linux
          platform: linux/amd64
        - os: macOS
          platform: linux/arm64
    with:
      os: ${{ matrix.os }}
      platform: ${{ matrix.platform }}
      target: firedrake
      tag: ${{ inputs.tag }}
      dockerfile: docker/Dockerfile.firedrake
    secrets: inherit

  docker_merge_firedrake:
    if: ${{ ! inputs.build_dev }}
    uses: ./.github/workflows/docker_merge.yml
    needs: docker_build_firedrake
    with:
      target: firedrake
      tag: ${{ inputs.tag }}
      tag_latest: ${{ ! inputs.build_dev }}
    secrets: inherit