Skip to content

Merge commit 'dfe7be78013def31111a9956d82b18a3fb9c0385' into update-url #333

Merge commit 'dfe7be78013def31111a9956d82b18a3fb9c0385' into update-url

Merge commit 'dfe7be78013def31111a9956d82b18a3fb9c0385' into update-url #333

Workflow file for this run

name: Build docker
on:
push:
schedule:
- cron: "0 12 * * 1"
jobs:
push_to_registry:
name: Run tests
runs-on: ubuntu-latest
steps:
- name: Check out the repo
uses: actions/checkout@v2
with:
submodules: true
- name: Build
run: docker build . -f infrastructure/docker/Dockerfile