Skip to content

Commit 705de5e

Browse files
authored
Merge pull request #225 from r-devel/workflows
Update workflows
2 parents b81ea07 + 161f4d8 commit 705de5e

File tree

4 files changed

+19
-12
lines changed

4 files changed

+19
-12
lines changed

.github/workflows/build-and-publish-image.yml

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -16,18 +16,20 @@ on:
1616
- 'reinstall-cmake.sh'
1717
- 'VERSION'
1818

19+
permissions:
20+
contents: read
21+
packages: write
1922

2023
env:
2124
REGISTRY: ghcr.io
2225
IMAGE_NAME: ${{ github.repository }}
2326

2427
jobs:
2528
build-and-push-image:
26-
if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
29+
if: |
30+
github.event_name == 'workflow_dispatch' ||
31+
(github.event_name == 'pull_request' && github.event.pull_request.merged == true)
2732
runs-on: ubuntu-latest
28-
permissions:
29-
contents: read
30-
packages: write
3133

3234
steps:
3335
- name: Checkout repository

.github/workflows/build-gitpod-image.yml

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,18 +17,20 @@ on:
1717
- 'reinstall-cmake.sh'
1818
- 'VERSION'
1919

20+
permissions:
21+
contents: read
22+
packages: write
2023

2124
env:
2225
REGISTRY: ghcr.io
2326
IMAGE_NAME: ${{ github.repository }}
2427

2528
jobs:
2629
build-and-push-image:
27-
if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
30+
if: |
31+
github.event_name == 'workflow_dispatch' ||
32+
(github.event_name == 'pull_request' && github.event.pull_request.merged == true)
2833
runs-on: ubuntu-latest
29-
permissions:
30-
contents: read
31-
packages: write
3234

3335
steps:
3436
- name: Checkout repository

.github/workflows/optimize-docs-images.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
name: Optimize Docs Images
22

33
on:
4+
workflow_dispatch:
45
pull_request:
56
branches: ["main","devel"]
67
types: [closed]
@@ -9,7 +10,9 @@ on:
910

1011
jobs:
1112
optimize-images:
12-
if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
13+
if: |
14+
github.event_name == 'workflow_dispatch' ||
15+
(github.event_name == 'pull_request' && github.event.pull_request.merged == true)
1316
runs-on: ubuntu-latest
1417

1518
steps:

.github/workflows/schedule-docker-build.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,9 @@ on:
44
schedule:
55
- cron: '0 0 1,15 * *'
66

7+
permissions:
8+
contents: read
9+
packages: write
710

811
env:
912
REGISTRY: ghcr.io
@@ -12,9 +15,6 @@ env:
1215
jobs:
1316
build-and-push-image:
1417
runs-on: ubuntu-latest
15-
permissions:
16-
contents: read
17-
packages: write
1818
strategy:
1919
matrix:
2020
branch: [main, devel]

0 commit comments

Comments
 (0)