]> https://gitweb.dealii.org/ - code-gallery.git/commitdiff
Merge pull request #136 from marcfehling/master
authorDaniel Arndt <arndtd@ornl.gov>
Sat, 22 Apr 2023 13:59:04 +0000 (09:59 -0400)
committerGitHub <noreply@github.com>
Sat, 22 Apr 2023 13:59:04 +0000 (09:59 -0400)
1  2 
.github/workflows/precice-ci.yml

index d2e3a204c4c27f3f6e475be8456ac55a7ddc74e5,ae785ce5a379600b062e3aa1499a67a1846d0105..7de40449f5980199bd47e31344374d99facda5b6
@@@ -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:

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.