Skip to content

[INFRA] Update subtree #20

[INFRA] Update subtree

[INFRA] Update subtree #20

Workflow file for this run

name: Util Linux
on:
push:
branches:
- 'main'
pull_request:
types:
- unlabeled
workflow_dispatch:
concurrency:
group: util-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: ${{ github.event_name != 'push' }}
env:
TZ: Europe/Berlin
defaults:
run:
shell: bash -Eexuo pipefail {0}
jobs:
build:
name: ${{ matrix.name }}
runs-on: ubuntu-22.04
timeout-minutes: 120
if: github.repository_owner == 'seqan' || github.event_name == 'workflow_dispatch' || github.event.label.name == 'lint'
strategy:
fail-fast: true
matrix:
include:
- name: "gcc13"
compiler: "gcc-13"
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 1
submodules: true
- name: Setup toolchain
uses: seqan/actions/setup-toolchain@main
with:
compiler: ${{ matrix.compiler }}
ccache_size: 75M
- name: Install CMake
uses: seqan/actions/setup-cmake@main
with:
cmake: 3.16.9
- name: Configure util
run: |
mkdir build
cd build
cmake ../util -DCMAKE_BUILD_TYPE=Release \
-DHIBF_NATIVE_BUILD=OFF
- name: Build util
run: |
ccache -z
cd build
make -k -j2
ccache -sv