Add option to not remove temporary directories · AMICI-dev/AMICI@2dca397

Triggered via pull request December 3, 2023 15:20

dweindl

synchronize #2221

dweindl:keep_tmpdir

Status Success

Total duration 34m 23s

Artifacts 1

test_benchmark_collection_models.yml

on: pull_request

Matrix: Benchmark Collection

Produced during runtime

Name	Size
computation times Expired	85.5 KB