clone/pico-openpgp
1
0
Fork 0
mirror of https://github.com/polhenarejos/pico-openpgp.git synced 2026-05-28 17:11:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Upgrade to v4.2

Browse Source 
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2026-01-05 19:53:41 +01:00
parent 70b5e35bde
commit 822038aba2
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
build_pico_openpgp.sh
View File

@@ -1,7 +1,7 @@
#!/bin/bash
VERSION_MAJOR="4"
VERSION_MINOR="0"
VERSION_MINOR="2"
SUFFIX="${VERSION_MAJOR}.${VERSION_MINOR}"
#if ! [[ -z "${GITHUB_SHA}" ]]; then
# SUFFIX="${SUFFIX}.${GITHUB_SHA}"