Searched full:zip (Results 1 – 3 of 3) sorted by relevance
48 create-zip:50 name: Create ZIP and verify package for release asset.53 - name: Install ZIP tools54 run: sudo apt-get install zip unzip65 - name: Create ZIP67 …zip -r FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip FreeRTOS-Plus-TCP -x "*.git…69 - name: Validate created ZIP71 mkdir zip-check72 mv FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip zip-check73 cd zip-check[all …]
165 for key_prefix, defines in zip(["C", "O", "H"],169 for value_prefix, key in zip([platform_definitions[opsys]["include"],186 for key, value in zip(keys, values):
78 Note: If you download the ZIP file provided by GitHub UI, you will not get the contents of the subm…
