Skip to content

ci: Remove duplicate build when a PR is merged to main #135

ci: Remove duplicate build when a PR is merged to main

ci: Remove duplicate build when a PR is merged to main #135

Triggered via push August 2, 2024 10:10
Status Success
Total duration 38s
Artifacts
occlum_sgx_ci
26s
occlum_sgx_ci
Fit to window
Zoom out
Zoom in