eden-emu/mbedtls
15
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #8011 from valeriosetti/improve-outcome-analysis

Browse source 
Improve `outcome-analysis.sh` script
This commit is contained in:
Manuel Pégourié-Gonnard 2023-08-01 08:06:44 +00:00 • committed by GitHub
commit cbc495eb0f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
docs/architecture/psa-migration/outcome-analysis.sh
View file

@ -43,8 +43,11 @@ record() {
fi fi
} }
# save current HEAD # save current HEAD.
HEAD=$(git branch --show-current) # Note: this can optionally be updated to
# HEAD=$(git branch --show-current)
# when using a Git version above 2.22
HEAD=$(git rev-parse --abbrev-ref HEAD)
# get the numbers before this PR for default and full # get the numbers before this PR for default and full
cleanup cleanup