diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2022-11-16 14:57:04 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2022-11-21 22:50:23 +0100 |
commit | ae423409b495166a52f473e387f031db7996b371 (patch) | |
tree | 24aa60378fcd24ad24d2626001fd881f9980cbe7 /.circleci/config.yml | |
parent | a63010aba4fedd80fc9076c9e10e9afce7a0755f (diff) |
Declare variable even on the error path.
Diffstat (limited to '.circleci/config.yml')
0 files changed, 0 insertions, 0 deletions