Skip to content

Commit

Permalink
Run with small minor heaps
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 1, 2023
1 parent 17d3dac commit e4dcb6c
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/linux-500-debug.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ jobs:
uses: ./.github/workflows/common.yml
with:
dune_profile: 'debug-runtime'
runparam: 'v=0,V=1'
runparam: 's=4096,v=0,V=1'
timeout: 240
2 changes: 1 addition & 1 deletion .github/workflows/linux-510-debug.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ jobs:
with:
compiler: 'ocaml-base-compiler.5.1.0'
dune_profile: 'debug-runtime'
runparam: 'v=0,V=1'
runparam: 's=4096,v=0,V=1'
timeout: 240
2 changes: 1 addition & 1 deletion .github/workflows/linux-520-debug-trunk.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,5 +9,5 @@ jobs:
compiler: 'ocaml-variants.5.2.0+trunk'
compiler_git_ref: refs/heads/trunk
dune_profile: 'debug-runtime'
runparam: 'v=0,V=1'
runparam: 's=4096,v=0,V=1'
timeout: 240

0 comments on commit e4dcb6c

Please sign in to comment.