Skip to content

ADD: Mark nodes with comments #4

ADD: Mark nodes with comments

ADD: Mark nodes with comments #4

Workflow file for this run

---
name: Make
on:
push:
branches:
- "**"
pull_request:
branches:
- master
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ${{ matrix.os }}
timeout-minutes: 120
strategy:
matrix:
os:
- ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: true
- name: Build on Linux
if: runner.os == 'Linux'
shell: bash
run: bash -x make.sh build