solved merge conflict
Build on RHEL9 docker image / build (push) Successful in 4m41s
Build on RHEL8 docker image / build (push) Successful in 5m12s
Run Simulator Tests on local RHEL9 / build (push) Successful in 14m41s
Run Simulator Tests on local RHEL8 / build (push) Successful in 17m10s

This commit is contained in:
2026-04-23 17:17:34 +02:00
19 changed files with 186 additions and 43 deletions
+6 -2
View File
@@ -6,6 +6,10 @@ on:
branches:
- developer
- main
push:
branches:
- developer
- main
release:
types:
- published
@@ -87,7 +91,7 @@ jobs:
- name: Copy documentation and Release notes to versioned folder
if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
if: github.event_name == 'release' || (github.event_name == 'push')
run: |
VERSION="${{ steps.version.outputs.version }}"
mkdir -p "gh-pages/${VERSION}"
@@ -99,7 +103,7 @@ jobs:
fi
- name: Commit and Push changes to gh-pages
if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
if: github.event_name == 'release' || (github.event_name == 'push')
run: |
cd gh-pages
git config --global user.name 'github-actions'