Less frequent sanitizer runs 2 (#2175)

Reduce CI times by only running the sanitizer tests 
- when we commit to master
- and once a week.

In case of a failure during the weekly test, an automated issue is
created (see [example
issue](#2194)).

.github/workflows/sanitize.yml

@@ -1,10 +1,18 @@
 name: Sanitize
 
 on:
- pull_request:
+ push:
  branches: [ master ]
  paths-ignore: 'doc/**'
 
+ schedule:
+ - cron: '0 2 * * 0' # run at 2 AM every sunday
+
+permissions:
+ issues: write
+ pull-requests: write
+ contents: write
+
 jobs:
  build:
  name: "Sanitize"
@@ -58,7 +66,39 @@ jobs:
  cd -
  - name: Run unit tests
  run: |
- build/bin/unit --gtest_filter=-*DeathTest
- build/bin/unit-modcc
+ build/bin/unit --gtest_filter=-*DeathTest 2>&1 | tee output.log
+ build/bin/unit-modcc 2>&1 | tee -a output.log
+ shell: bash
  - name: Run examples
- run: scripts/run_cpp_examples.sh
+ run: scripts/run_cpp_examples.sh 2>&1 | tee -a output.log
+ shell: bash
+ - name: Ouput File
+ if: ${{ failure() && github.event_name == 'schedule' }}
+ run: |
+ FENCE='```'
+ HEADER="$(cat << EOF
+ <details>
+ 
+ <summary>output from test runs</summary>
+ 
+ ${FENCE}
+ EOF
+ )"
+ FOOTER="$(cat << EOF
+ ${FENCE}
+ 
+ </details>
+ EOF
+ )"
+ echo "${HEADER}" > issue.md
+ cat output.log >> issue.md
+ echo "${FOOTER}" >> issue.md
+ echo -e "\nSee also the [corresponding workflow](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})\n" >> issue.md
+ - name: Create Issue From File
+ if: ${{ failure() && github.event_name == 'schedule' }}
+ uses: peter-evans/create-issue-from-file@v4
+ with:
+ title: '[AUTOMATED] Sanitize checks failed'
+ content-filepath: ./issue.md
+ labels: |
+ automated issue