Compare commits
1 Commits
mbed-os-6.
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
| 886efbe527 |
@@ -2,11 +2,6 @@ name: Publish or Update docker image for head of branch
|
||||
# Design details in https://github.com/ARMmbed/mbed-os/blob/master/docs/design-documents/docker_management
|
||||
|
||||
on:
|
||||
|
||||
# passive update once a week
|
||||
schedule:
|
||||
- cron: '15 4 * * 6'
|
||||
|
||||
# build on master branch when there is changes for active update
|
||||
push:
|
||||
branches:
|
||||
|
||||
@@ -1,9 +1,6 @@
|
||||
name: Prune temporary docker images
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: '15 4 * * 6'
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
|
||||
jobs:
|
||||
@@ -22,4 +19,4 @@ jobs:
|
||||
# deletion if only one image exists or if DOCKER_MANAGEMENT_TOKEN is not
|
||||
# setup. This shouldn't create any alarm as temporary image deletion is
|
||||
# not a critical activity.
|
||||
python ./.github/workflows/ci_scripts/ghcr_utils.py -u ${{ github.repository_owner }} -p ${{ secrets.DOCKER_MANAGEMENT_TOKEN }} delete-old-images -r mbed-os-env-tmp || true
|
||||
python ./.github/workflows/ci_scripts/ghcr_utils.py -u ${{ github.repository_owner }} -p ${{ secrets.DOCKER_MANAGEMENT_TOKEN }} delete-old-images -r mbed-os-env-tmp || true
|
||||
|
||||
@@ -2,14 +2,11 @@ name: Release or update docker image for a released mbed-os version
|
||||
|
||||
# Design doc: https://github.com/ARMmbed/mbed-os/blob/master/docs/design-documents/docker_management
|
||||
|
||||
on:
|
||||
on:
|
||||
push:
|
||||
tags:
|
||||
- mbed-os-6.[0-9]+.[0-9]+
|
||||
|
||||
schedule:
|
||||
- cron: '15 4 * * 6'
|
||||
|
||||
workflow_dispatch:
|
||||
inputs:
|
||||
mbed_os_release_version:
|
||||
|
||||
Reference in New Issue
Block a user