This website works better with JavaScript
Home
Sign In
pig
/
CGTM
Watch
15
Star
1
Fork
1
Files
Issues
Browse Source
chore: add 'dev' branch to mirror repository workflow
PIG AI
4 days ago
parent
9aa6949570
commit
83551b15b1
1 changed files
with
1 additions
and
0 deletions
Split View
Show Diff Stats
1
0
.github/workflows/mirror-repository.yml
+ 1
- 0
.github/workflows/mirror-repository.yml
View File
@@ -5,6 +5,7 @@ on:
branches:
- master
- jdk_17
+ - dev
jobs:
sync-repo: