Skip to content

Merge pull-request #495 #74

Merge pull-request #495

Merge pull-request #495 #74

Workflow file for this run

name: stagex-build
on:
push:
tags:
- v*.*.*
branches:
- main
pull_request:
workflow_dispatch: # Allows manual invocation
jobs:
build:
name: build artifacts
# We use a special group that is configured to use github largest runner instance
# This is charged by the minute, so if you want to reduce cost change back to `runs-on: ubuntu-latest`
runs-on:
group: ubuntu-runners
steps:
- name: Checkout sources
uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- name: Setup Docker
uses: ./.github/actions/docker-setup
- name: Run `make`
shell: 'script -q -e -c "bash {0}"'
run: |
make -j$(nproc)