Skip to content

ci: migrate pipeline from Jenkins to GitHub Actions (#17) #1

ci: migrate pipeline from Jenkins to GitHub Actions (#17)

ci: migrate pipeline from Jenkins to GitHub Actions (#17) #1

Re-run triggered July 2, 2025 14:11
Status Success
Total duration 2m 4s
Artifacts
publish-snapshot  /  reusable-publish-snapshot
1m 57s
publish-snapshot / reusable-publish-snapshot
Fit to window
Zoom out
Zoom in