dearsky/pico-fido
1
0
Fork 0
Code Issues 46 Pull Requests 1 Actions Packages Projects Releases 22 Wiki Activity

Fix nightly build

Browse Source 
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2024-09-25 13:49:20 +02:00
parent ed560f10a4
commit b9e791ca90
2 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
build_pico_fido.sh
View File

@@ -3,9 +3,7 @@
VERSION_MAJOR="5"
VERSION_MINOR="12"
SUFFIX="${VERSION_MAJOR}.${VERSION_MINOR}"
if [[ -z "${GITHUB_SHA}" ]]; then
;
else
if ! [[ -z "${GITHUB_SHA}" ]]; then
SUFFIX="${SUFFIX}.${GITHUB_SHA}"
fi