Skip to content

Commit 0f7dc4f

Browse files
committed
Update GitHub Actions.
See #3169
1 parent 48855e7 commit 0f7dc4f

File tree

2 files changed

+66
-0
lines changed

2 files changed

+66
-0
lines changed

.github/workflows/codeql.yml

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# GitHub Actions for CodeQL Scanning
2+
3+
name: "CodeQL Advanced"
4+
5+
on:
6+
push:
7+
pull_request:
8+
workflow_dispatch:
9+
schedule:
10+
# https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#schedule
11+
- cron: '0 5 * * *'
12+
13+
permissions: read-all
14+
15+
jobs:
16+
codeql-analysis-call:
17+
permissions:
18+
actions: read
19+
contents: read
20+
security-events: write
21+
uses: spring-io/github-actions/.github/workflows/codeql-analysis.yml@1

.github/workflows/project.yml

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
# GitHub Actions to automate GitHub issues for Spring Data Project Management
2+
3+
name: Spring Data GitHub Issues
4+
5+
on:
6+
issues:
7+
types: [opened, edited, reopened]
8+
issue_comment:
9+
types: [created]
10+
pull_request_target:
11+
types: [opened, edited, reopened]
12+
13+
permissions:
14+
contents: read
15+
issues: write
16+
pull-requests: write
17+
18+
jobs:
19+
Inbox:
20+
runs-on: ubuntu-latest
21+
if: github.repository_owner == 'spring-projects' && (github.event.action == 'opened' || github.event.action == 'reopened') && github.event.pull_request == null && !contains(join(github.event.issue.labels.*.name, ', '), 'dependency-upgrade') && !contains(github.event.issue.title, 'Release ')
22+
steps:
23+
- name: Create or Update Issue Card
24+
uses: actions/[email protected]
25+
with:
26+
project-url: https://github.com/orgs/spring-projects/projects/25
27+
github-token: ${{ secrets.GH_ISSUES_TOKEN_SPRING_DATA }}
28+
Pull-Request:
29+
runs-on: ubuntu-latest
30+
if: github.repository_owner == 'spring-projects' && (github.event.action == 'opened' || github.event.action == 'reopened') && github.event.pull_request != null
31+
steps:
32+
- name: Create or Update Pull Request Card
33+
uses: actions/[email protected]
34+
with:
35+
project-url: https://github.com/orgs/spring-projects/projects/25
36+
github-token: ${{ secrets.GH_ISSUES_TOKEN_SPRING_DATA }}
37+
Feedback-Provided:
38+
runs-on: ubuntu-latest
39+
if: github.repository_owner == 'spring-projects' && github.event_name == 'issue_comment' && github.event.action == 'created' && github.actor != 'spring-projects-issues' && github.event.pull_request == null && github.event.issue.state == 'open' && contains(toJSON(github.event.issue.labels), 'waiting-for-feedback')
40+
steps:
41+
- name: Update Project Card
42+
uses: actions/[email protected]
43+
with:
44+
project-url: https://github.com/orgs/spring-projects/projects/25
45+
github-token: ${{ secrets.GH_ISSUES_TOKEN_SPRING_DATA }}

0 commit comments

Comments
 (0)