Skip to content

Merge branch 'main' into graph-selected #800

Merge branch 'main' into graph-selected

Merge branch 'main' into graph-selected #800

Workflow file for this run

name: Ubuntu
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- name: Build
run: APT=1 CI=1 MKJOBS=2 ./src/scripts/build_ci.sh