Skip to content

chore: sync develop into main#3

Merged
ancongui merged 7 commits intomainfrom
develop
Feb 10, 2026
Merged

chore: sync develop into main#3
ancongui merged 7 commits intomainfrom
develop

Conversation

@ancongui
Copy link
Copy Markdown
Contributor

Sync CI/CD configuration changes from develop to main.

@ancongui ancongui merged commit 507db9e into main Feb 10, 2026
3 of 4 checks passed
Comment on lines +61 to +66
- name: Build with Maven
run: mvn -B verify
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

- name: Report build status

Check failure

Code scanning / CodeQL

Checkout of untrusted code in a privileged context

Potential execution of untrusted code on a privileged workflow ([pull_request_target](1))
steps:
- name: Fetch Dependabot metadata
id: metadata
uses: dependabot/fetch-metadata@v2

Check warning

Code scanning / CodeQL

Unpinned tag for a non-immutable Action in workflow

Unpinned 3rd party Action 'Dependabot Auto-Merge' step [Uses Step: metadata](1) uses 'dependabot/fetch-metadata' with ref 'v2', not a pinned commit hash
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants