Skip to content

Linux 5.2 debug

Linux 5.2 debug #116

name: Linux 5.2 debug
on:
schedule:
# Every Monday morning, at 1:11 UTC
- cron: '11 1 * * 1'
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs:
build:
uses: ./.github/workflows/common.yml
with:
compiler_ref: refs/tags/5.2.0
dune_profile: 'debug-runtime'
runparam: 's=4096,V=1'
timeout: 240