Skip to content

rename github workflow #1

rename github workflow

rename github workflow #1

Annotations

1 warning

ubuntu-latest (oldrel-1)

succeeded May 15, 2024 in 6m 46s