Skip to content
angr Release

Convert release pipeline to github actions #3

Sign in to view logs

Convert release pipeline to github actions

Convert release pipeline to github actions #3

Annotations

1 warning

Create release

Create release
succeeded May 16, 2024 in 1m 32s