Skip to content

Merge branch 'fri-1.15' into fri-1.14 #97

Merge branch 'fri-1.15' into fri-1.14

Merge branch 'fri-1.15' into fri-1.14 #97

Workflow file for this run

name: Build
on:
workflow_dispatch:
push:
pull_request:
branches:
- fri-1.14
schedule:
- cron: "0 0 1 * *" # monthly
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Configure CMake
run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=Release
- name: Build
run: cmake --build ${{github.workspace}}/build