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: update ci workflow #6620

Closed
wants to merge 6 commits into from
Closed

chore: update ci workflow #6620

wants to merge 6 commits into from

Conversation

Aarebecca
Copy link
Contributor

No description provided.

@hustcc
Copy link
Member

hustcc commented Dec 10, 2024

这是改啥了~

@Aarebecca
Copy link
Contributor Author

这是改啥了~

前阵子 Github CI 挂的原因怀疑是 Github 环境计算精度有问题,所以统一转换了截图中数值精度(从小数点后 10 位调整为 4 位)

@hustcc
Copy link
Member

hustcc commented Dec 10, 2024

感觉不是精度问题,大概率还是执行时间顺序,各种异步带来随机性~

@Aarebecca
Copy link
Contributor Author

感觉不是精度问题,大概率还是执行时间顺序,各种异步带来随机性~

目前这个 CI 看着确实是精度问题,都是小数 10 位后存在差异

image image

@Aarebecca
Copy link
Contributor Author

@hustcc 不过这个 PR 升级到 macos-15 仍然有问题,Github CI 执行会卡住,会先使用这个 PR 的修复:#6624

@Aarebecca Aarebecca closed this Dec 11, 2024
@Aarebecca Aarebecca deleted the chore/fix-ci branch December 11, 2024 02:23
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