From: Daniel Arndt Date: Sat, 22 Apr 2023 13:59:04 +0000 (-0400) Subject: Merge pull request #136 from marcfehling/master X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51be51e18d4c9edaa79f2a09a197dd3c6ee1d73e;p=code-gallery.git Merge pull request #136 from marcfehling/master --- 51be51e18d4c9edaa79f2a09a197dd3c6ee1d73e diff --cc .github/workflows/precice-ci.yml index d2e3a20,ae785ce..7de4044 --- a/.github/workflows/precice-ci.yml +++ b/.github/workflows/precice-ci.yml @@@ -8,9 -8,13 +8,13 @@@ on schedule: - cron: '0 0 * * 0' + permissions: + contents: read + issues: write + jobs: build: - name: Build ${{ matrix.build_type }}-dealii:${{ matrix.dealii_version }} + name: Build ${{ matrix.build_type }}-dealii:${{ matrix.dealii_version }}-${{ matrix.ubuntu_version }} runs-on: ubuntu-latest strategy: