Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Vanessa 2023-05-22 10:33:09 +08:00
commit cc9dce106a
2 changed files with 2 additions and 6 deletions

View file

@ -1,11 +1,10 @@
name: CI/CD For SiYuan
name: CD For SiYuan
on:
push:
tags:
- '*-dev*'
workflow_dispatch:
jobs:

View file

@ -60,15 +60,12 @@ def find_milestone(repo, title, lastestRelease):
return None
version = pat.group(1)
print(f'''
---
<p align="center">
<p>
<a href="https://github.com/siyuan-note/siyuan/actions/workflows/ci.yml"><img src="https://img.shields.io/github/actions/workflow/status/siyuan-note/siyuan/ci.yml?event=push&label=ci.yml%20Action&logo=github" style="cursor:pointer;height: 30px;margin: 3px auto;"/></a>
<a href="https://github.com/siyuan-note/siyuan/releases/{thisRelease}/"><img src="https://img.shields.io/github/downloads/siyuan-note/siyuan/{thisRelease}/total?logo=github" style="cursor:pointer;height: 30px;margin: 3px auto;"/></a>
<img alt="GitHub commits difference between two branches/tags/commits" src="https://img.shields.io/github/commits-difference/siyuan-note/siyuan?base={lastestRelease}&head={thisRelease}&logo=git" style="cursor:pointer;height: 30px;margin: 3px auto;"/>
</p>
---
''')
for milestone in repo.get_milestones():
if version in milestone.title: