Skip to content

🔧 ci: run full ci when only merged#3989

Merged
riemannulus merged 1 commit intoplanetarium:mainfrom riemannulus:ci/run-full-ci-when-only-mergedNov 21, 2024

Commits

Commits on Nov 21, 2024