Skip to content
PR Build

ci: rename the custom github actions to use the new repo names #1989

Sign in to view logs

ci: rename the custom github actions to use the new repo names

ci: rename the custom github actions to use the new repo names #1989

Build and test

Build and test
succeeded Apr 19, 2024 in 5m 43s