diff options
| author | Devan Carpenter <git@dvn.me> | 2023-11-23 13:01:19 -0500 |
|---|---|---|
| committer | Devan Carpenter <git@dvn.me> | 2023-11-27 22:45:43 -0500 |
| commit | 5e380c9f348dbaf69ff96dbd851af577e6240985 (patch) | |
| tree | 0e366378d55b22985333b6d7aad2f9ab731ed962 /contrib/ci/ci.sh | |
| parent | ee0c0b198570be488816713363d777e89ea3dd88 (diff) | |
| download | gnunet-5e380c9f348dbaf69ff96dbd851af577e6240985.tar.gz gnunet-5e380c9f348dbaf69ff96dbd851af577e6240985.zip | |
ci: clean the workspace before building for arm64
otherwise there may be artifacts from earlier jobs in the same
pipeline
Diffstat (limited to 'contrib/ci/ci.sh')
0 files changed, 0 insertions, 0 deletions