Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(ci): various update #5667

Merged
merged 3 commits into from
Jun 17, 2024
Merged

chore(ci): various update #5667

merged 3 commits into from
Jun 17, 2024

Conversation

HeRaNO
Copy link
Collaborator

@HeRaNO HeRaNO commented Jun 17, 2024

  • 我已认真阅读贡献指南 (contributing guidelines) 和社区公约 (code of conduct),并遵循了如何参与页及格式手册页的相应规范。

如果镜像用最新的话会报错,所以和 OI-Wiki/latex-action 一样将 docker_image 锁在 20220801 了。

Enter-tainer
Enter-tainer previously approved these changes Jun 17, 2024
Copy link
Member

@Enter-tainer Enter-tainer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

看看能不能跑过吧

@HeRaNO
Copy link
Collaborator Author

HeRaNO commented Jun 17, 2024

看看能不能跑过吧

OI-wiki/OI-Wiki-export#78 可以看这个

貌似流水线卡在 Check PR Format 了

@Enter-tainer
Copy link
Member

看看能不能跑过吧

OI-wiki/OI-Wiki-export#78 可以看这个

貌似流水线卡在 Check PR Format 了

这个的触发条件写的不太对,你能顺便也改改吗,让它无论如何都触发

Copy link
Member

@Enter-tainer Enter-tainer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thx!

@Enter-tainer Enter-tainer enabled auto-merge (squash) June 17, 2024 09:25
@Enter-tainer Enter-tainer merged commit 425fadd into OI-wiki:master Jun 17, 2024
16 checks passed
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.

None yet

2 participants