Skip to content

Merge branch 'dev' into main #100

Merge branch 'dev' into main

Merge branch 'dev' into main #100

Workflow file for this run

name: CI Build
on:
push:
branches:
- dev
- main
- actions
- make-tweaks
- tarball-naming
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/setup
- uses: ./.github/actions/build