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

Triggered via pull request December 3, 2023 14:12

dweindl

synchronize #2221

dweindl:keep_tmpdir

Status Success

Total duration 1m 9s

Artifacts 1

deploy_branch.yml

on: pull_request

Matrix: Deploy Python Source Distribution

Produced during runtime

Name	Size
sdist Expired	1.05 MB