diff options
| author | Dante Niewenhuis <d.niewenhuis@hotmail.com> | 2025-02-06 12:50:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-06 12:50:07 +0100 |
| commit | 2a0f78cd550b2187341b7c0c2ca443c27ef44bb1 (patch) | |
| tree | a2473f586865ff81dba16ece5487286c07050949 | |
| parent | 8a3f26bfa51753c8b602985fc1965105629e5f37 (diff) | |
Added a way to execution the release and publish scripts directly from github (#302)
| -rw-r--r-- | .github/workflows/publish.yml | 1 | ||||
| -rw-r--r-- | .github/workflows/release.yml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 6ebd048f..9b83de14 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -4,6 +4,7 @@ name: Publish on: release: types: [published] + workflow_dispatch: jobs: push-simulator: diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 1e046e71..1efb1f7f 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -4,6 +4,7 @@ name: Release on: push: tags: ['v*'] + workflow_dispatch: jobs: build: |