Skip to content

Initial changes for docker github build. #1

Initial changes for docker github build.

Initial changes for docker github build. #1

Workflow file for this run

on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Build in container
uses: ./.github/actions/build-with-docker